Update transcripts to test suffixification

Author: ChrisPenner

transcripts/share-apis/code-browse/codebase-namespace-by-name-root.json

@@ -1,7 +1,7 @@
 {
   "body": {
     "fqn": "",
-    "hash": "#00i5tm0i0v41f379hmhk06sktu1ifrtaaftsbe3qcpsef6b8p1rrpir1ac88v3m6pp5q8m4on28i87tftnsrs41eb4h7tq1e6lbd48g",
+    "hash": "#7knfjg5q894hvmubdsh6al4nvdcoo0ddg0a1v09uskiptgb7u76k0aj8lmg0hf1r1qsiktdmhv6oo0s543rup8tk4hq6t258luo0770",
     "readme": null
   },
   "status": [

transcripts/share-apis/code-browse/prelude.md

@@ -29,6 +29,24 @@ external.externalName = 99
 -- Helpful for testing proper query encoding/decoding for a name that must be
 -- uri encoded
 a names./+% b = 10
+
+
+-- Test that suffixification works as expected
+
+-- We shouldn't qualify project names if the only conflict is in lib.
+ns.myName = "projectName"
+lib.data.myName = "libName"
+
+-- We _should_ still qualify names in lib if all conflicts are in libs.
+lib.other.myOtherName = "other.myOtherName"
+lib.data.myOtherName = "data.myOtherName"
+
+-- A term which references the names we defined above
+macroTerm = do
+  _ = ns.myName
+  _ = lib.data.myName
+  _ = lib.other.myOtherName
+  1
 ```
 
 ```ucm

transcripts/share-apis/code-browse/run.zsh

@@ -28,6 +28,9 @@ fetch "$transcripts_user" GET codebase-type-dependents-by-name "/users/transcrip
 fetch "$transcripts_user" GET codebase-term-dependents-by-hash "/users/transcripts/projects/code-browse/branches/main/definitions/dependents/by-hash/@dcgdua2lj6upd1ah5v0qp09gjsej0d77d87fu6qn8e2qrssnlnmuinoio46hiu53magr7qn8vnqke8ndt0v76700o5u8gcvo7st28jg"
 fetch "$transcripts_user" GET codebase-type-dependents-by-hash "/users/transcripts/projects/code-browse/branches/main/definitions/dependents/by-hash/@6kbe32g06nqg93cqub6ohqc4ql4o49ntgnunifds0t75qre6lacnbsr3evn8bkivj68ecbvmhkbak4dbg4fqertcpgb396rmo34tnh0"
 
+# Test that suffixification works as expected.
+fetch "$transcripts_user" GET suffixification-test "/users/transcripts/projects/code-browse/branches/main/definitions/by-name/macroTerm"
+
 
 fetch "$transcripts_user" GET codebase-find "/users/transcripts/projects/code-browse/branches/main/find?query=oranges.tw"
 fetch "$transcripts_user" GET codebase-namespace-by-name "/users/transcripts/projects/code-browse/branches/main/namespaces/by-name/names"

transcripts/share-apis/code-browse/suffixification-test.json

@@ -0,0 +1,213 @@
+{
+  "body": {
+    "missingDefinitions": [],
+    "termDefinitions": {
+      "#gautmg9djqka7229ff9dcuers1ilg8tdleaivgeh3em11gdjdnr6jl98hag18htoqhiupmmvttq3knuuonibla25nuqdrjo9i8ic3g0": {
+        "bestTermName": "macroTerm",
+        "defnTermTag": "Plain",
+        "signature": [
+          {
+            "annotation": {
+              "tag": "DelayForceChar"
+            },
+            "segment": "'"
+          },
+          {
+            "annotation": {
+              "contents": "##Nat",
+              "fqn": "builtin.Nat",
+              "tag": "TypeReference"
+            },
+            "segment": "Nat"
+          }
+        ],
+        "termDefinition": {
+          "contents": [
+            {
+              "annotation": {
+                "contents": "macroTerm",
+                "tag": "HashQualifier"
+              },
+              "segment": "macroTerm"
+            },
+            {
+              "annotation": {
+                "tag": "TypeAscriptionColon"
+              },
+              "segment": " :"
+            },
+            {
+              "annotation": null,
+              "segment": " "
+            },
+            {
+              "annotation": {
+                "tag": "DelayForceChar"
+              },
+              "segment": "'"
+            },
+            {
+              "annotation": {
+                "contents": "##Nat",
+                "fqn": "builtin.Nat",
+                "tag": "TypeReference"
+              },
+              "segment": "Nat"
+            },
+            {
+              "annotation": null,
+              "segment": "\n"
+            },
+            {
+              "annotation": {
+                "contents": "macroTerm",
+                "tag": "HashQualifier"
+              },
+              "segment": "macroTerm"
+            },
+            {
+              "annotation": {
+                "tag": "BindingEquals"
+              },
+              "segment": " ="
+            },
+            {
+              "annotation": null,
+              "segment": " "
+            },
+            {
+              "annotation": {
+                "tag": "ControlKeyword"
+              },
+              "segment": "do"
+            },
+            {
+              "annotation": null,
+              "segment": "\n"
+            },
+            {
+              "annotation": null,
+              "segment": "  "
+            },
+            {
+              "annotation": {
+                "contents": "_",
+                "tag": "HashQualifier"
+              },
+              "segment": "_"
+            },
+            {
+              "annotation": {
+                "tag": "BindingEquals"
+              },
+              "segment": " ="
+            },
+            {
+              "annotation": null,
+              "segment": " "
+            },
+            {
+              "annotation": {
+                "contents": "#g60c4so0q827jpdkpd3ll8kfst33s3fuh58akvb5r8fp4jimmgfq8is5ongh4bfo9m048nf9soa54fg271fgcqdlktl4pnf6l01s4ug",
+                "fqn": "ns.myName",
+                "tag": "TermReference"
+              },
+              "segment": "myName"
+            },
+            {
+              "annotation": null,
+              "segment": "\n"
+            },
+            {
+              "annotation": null,
+              "segment": "  "
+            },
+            {
+              "annotation": {
+                "contents": "_",
+                "tag": "HashQualifier"
+              },
+              "segment": "_"
+            },
+            {
+              "annotation": {
+                "tag": "BindingEquals"
+              },
+              "segment": " ="
+            },
+            {
+              "annotation": null,
+              "segment": " "
+            },
+            {
+              "annotation": {
+                "contents": "#9gk80dbuj7dm76vf8vfe49k265k0n6bcft5g7s3a6j0papkv7bd5n78735qs1s0ag3rcrm5pcip02e8b28qf9i1kpvvu1fdl8p4fkeg",
+                "fqn": "lib.data.myName",
+                "tag": "TermReference"
+              },
+              "segment": "data.myName"
+            },
+            {
+              "annotation": null,
+              "segment": "\n"
+            },
+            {
+              "annotation": null,
+              "segment": "  "
+            },
+            {
+              "annotation": {
+                "contents": "_",
+                "tag": "HashQualifier"
+              },
+              "segment": "_"
+            },
+            {
+              "annotation": {
+                "tag": "BindingEquals"
+              },
+              "segment": " ="
+            },
+            {
+              "annotation": null,
+              "segment": " "
+            },
+            {
+              "annotation": {
+                "contents": "#5q9p802rfedn2kuvc3ohbjiqk7l6usu6gfv6et2l93e5s7q2vtoai3nup17a02djcsekjiq99unf62el8ilih4f1c0jqbgioup67da0",
+                "fqn": "lib.other.myOtherName",
+                "tag": "TermReference"
+              },
+              "segment": "other.myOtherName"
+            },
+            {
+              "annotation": null,
+              "segment": "\n"
+            },
+            {
+              "annotation": null,
+              "segment": "  "
+            },
+            {
+              "annotation": {
+                "tag": "NumericLiteral"
+              },
+              "segment": "1"
+            }
+          ],
+          "tag": "UserObject"
+        },
+        "termDocs": [],
+        "termNames": [
+          "macroTerm"
+        ]
+      }
+    },
+    "typeDefinitions": {}
+  },
+  "status": [
+    {
+      "status_code": 200
+    }
+  ]
+}