fixes #4415

parser-typechecker/src/Unison/UnisonFile/Names.hs

@@ -108,7 +108,7 @@ variableCanonicalizer vs =
     suffix <- Name.suffixes n
     pure (Var.named (Name.toText suffix), v)
   where
-    done xs = Map.fromList [ (k, v) | (k, nubOrd -> [v]) <- Map.toList xs ]
+    done xs = Map.fromList [ (k, v) | (k, nubOrd -> [v]) <- Map.toList xs ] <> Map.fromList [(v,v) | v <- vs]
 
 -- This function computes hashes for data and effect declarations, and
 -- also returns a function for resolving strings to (Reference, ConstructorId)

unison-src/transcripts/fix4415.md

@@ -4,6 +4,6 @@ unique type Foo = Foo
 unique type sub.Foo =
 ```
 
-```ucm:error
+```ucm
 .> load
 ```

unison-src/transcripts/fix4415.output.md

@@ -6,38 +6,26 @@ unique type sub.Foo =
 
 ```ucm
 
+  I found and typechecked these definitions in scratch.u. If you
+  do an `add` or `update`, here's how your codebase would
+  change:
   
-    ❓
+    ⍟ These new definitions are ok to `add`:
     
-    I couldn't resolve any of these symbols:
-    
-        1 | unique type Foo = Foo
-    
-    
-    Symbol   Suggestions
-             
-    Foo      No matches
-  
+      unique type Foo
+      unique type sub.Foo
 
 ```
+```ucm
+.> load
 
-
-
-🛑
-
-The transcript failed due to an error in the stanza above. The error is:
-
-
+  I found and typechecked these definitions in scratch.u. If you
+  do an `add` or `update`, here's how your codebase would
+  change:
   
-    ❓
+    ⍟ These new definitions are ok to `add`:
     
-    I couldn't resolve any of these symbols:
-    
-        1 | unique type Foo = Foo
-    
-    
-    Symbol   Suggestions
-             
-    Foo      No matches
-  
+      unique type Foo
+      unique type sub.Foo
 
+```