add another regression test

unisonweb · Nov 5, 2023 · 4a43458 · 4a43458
1 parent 7085596
commit 4a43458
Show file tree

Hide file tree

Showing 2 changed files with 26 additions and 1 deletion.
diff --git a/unison-src/transcripts-round-trip/main.output.md b/unison-src/transcripts-round-trip/main.output.md
@@ -616,6 +616,19 @@ So we can see the pretty-printed output:
       Debug a b = ()
       error (Debug None '("Failed " ++ toText 42))
     
+    stew_issue3 : ()
+    stew_issue3 =
+      id x = x
+      error x = ()
+      a ++ b = 0
+      blah x y = 99
+      toText a = a
+      configPath = 0
+      Debug a b = ()
+      error
+        (Debug None '("Failed to get timestamp of config file "
+            ++ toText configPath))
+    
     test3 : '('('r))
     test3 = do
       run : Nat -> a

diff --git a/unison-src/transcripts-round-trip/reparses-with-same-hash.u b/unison-src/transcripts-round-trip/reparses-with-same-hash.u
@@ -514,4 +514,16 @@ stew_issue2 =
   Debug a b = ()
   error
     (Debug None '("Failed " ++ 
-           toText 42))
+           toText 42))
+
+stew_issue3 = 
+  id x = x
+  error x = ()
+  (++) a b = 0
+  blah x y = 99
+  toText a = a
+  configPath = 0
+  Debug a b = ()
+  error
+    (Debug None '("Failed to get timestamp of config file " ++ 
+           toText configPath))