add transcript

Author: mitchellwrosen

unison-src/transcripts/idempotent/fix-3982.md

@@ -0,0 +1,55 @@
+``` ucm
+scratch/main> builtins.mergeio lib.builtin
+
+  Done.
+```
+
+``` unison :error
+type Foo = Bar Nat
+
+foo : Foo -> Nat
+foo x =
+  (Barr n) = x
+  n
+```
+
+``` ucm :added-by-ucm
+  Loading changes detected in scratch.u.
+
+
+    ❓
+    
+    I couldn't resolve any of these symbols:
+    
+        5 |   (Barr n) = x
+    
+    
+    Symbol   Suggestions
+             
+    Barr     No matches
+```
+
+``` unison :error
+type Foo = Bar Nat
+
+foo : Foo -> Nat
+foo x =
+  b@(Barr n) = x
+  n
+```
+
+``` ucm :added-by-ucm
+  Loading changes detected in scratch.u.
+
+
+    ❓
+    
+    I couldn't resolve any of these symbols:
+    
+        5 |   b@(Barr n) = x
+    
+    
+    Symbol   Suggestions
+             
+    Barr     No matches
+```