fix: stage temp reset better, update trace file

brandonspark · Feb 18, 2024 · 126e7f7 · 126e7f7
1 parent df40337
commit 126e7f7
Show file tree

Hide file tree

Showing 2 changed files with 19 additions and 16 deletions.
diff --git a/test/snapshots.sml b/test/snapshots.sml
@@ -104,6 +104,9 @@ structure Snapshots =
               <| spf (`"Failed to parse command file "fs"") (OS.Path.file cmd_file)
           | SOME commands =>
               let
+                (* reset state between tests! *)
+                val () = FreshSym.reset ()
+
                 val config =
                   { test_mode = true
                   , skipping = false

diff --git a/test/snapshots/div_exn.trace b/test/snapshots/div_exn.trace
@@ -22,8 +22,8 @@ val _ = (SOME (1 + f (4 - 1))) handle Div => NONE
 - ==> 
 val _ =
     ( SOME
-        ( 1 + ( fn t12 =>
-                  case t12 of
+        ( 1 + ( fn t0 =>
+                  case t0 of
                     0 => 1 div 0
                   | n =>
                     1 + f (n - 1)
@@ -44,8 +44,8 @@ val _ = (SOME (1 + 1 + f (3 - 1))) handle Div => NONE
 - ==> 
 val _ =
     ( SOME
-        ( 1 + 1 + ( fn t12 =>
-                      case t12 of
+        ( 1 + 1 + ( fn t0 =>
+                      case t0 of
                         0 => 1 div 0
                       | n =>
                         1 + f (n - 1)
@@ -72,8 +72,8 @@ val _ = (SOME (1 + 1 + 1 + f (2 - 1))) handle Div => NONE
 - ==> 
 val _ =
     ( SOME
-        ( 1 + 1 + 1 + ( fn t12 =>
-                          case t12 of
+        ( 1 + 1 + 1 + ( fn t0 =>
+                          case t0 of
                             0 => 1 div 0
                           | n =>
                             1 + f (n - 1)
@@ -102,8 +102,8 @@ val _ =
 - ==> 
 val _ =
     ( SOME
-        ( 1 + 1 + 1 + 1 + ( fn t12 =>
-                              case t12 of
+        ( 1 + 1 + 1 + 1 + ( fn t0 =>
+                              case t0 of
                                 0 => 1 div 0
                               | n =>
                                 1 + f (n - 1)
@@ -144,8 +144,8 @@ val _ = (SOME (1 + g (4 - 1))) handle Div => NONE
 - ==> 
 val _ =
     ( SOME
-        ( 1 + ( fn t13 =>
-                  case t13 of
+        ( 1 + ( fn t1 =>
+                  case t1 of
                     0 => 1 mod 0
                   | n =>
                     1 + g (n - 1)
@@ -166,8 +166,8 @@ val _ = (SOME (1 + 1 + g (3 - 1))) handle Div => NONE
 - ==> 
 val _ =
     ( SOME
-        ( 1 + 1 + ( fn t13 =>
-                      case t13 of
+        ( 1 + 1 + ( fn t1 =>
+                      case t1 of
                         0 => 1 mod 0
                       | n =>
                         1 + g (n - 1)
@@ -194,8 +194,8 @@ val _ = (SOME (1 + 1 + 1 + g (2 - 1))) handle Div => NONE
 - ==> 
 val _ =
     ( SOME
-        ( 1 + 1 + 1 + ( fn t13 =>
-                          case t13 of
+        ( 1 + 1 + 1 + ( fn t1 =>
+                          case t1 of
                             0 => 1 mod 0
                           | n =>
                             1 + g (n - 1)
@@ -224,8 +224,8 @@ val _ =
 - ==> 
 val _ =
     ( SOME
-        ( 1 + 1 + 1 + 1 + ( fn t13 =>
-                              case t13 of
+        ( 1 + 1 + 1 + 1 + ( fn t1 =>
+                              case t1 of
                                 0 => 1 mod 0
                               | n =>
                                 1 + g (n - 1)