Fix bug hitherto masked by HOL issue HOL-Theorem-Prover/HOL/#1140

CakeML · Oct 24, 2023 · a121a00 · a121a00 · mn200 · Oct 24, 2023
1 parent 1329912
commit a121a00
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/compiler/backend/semantics/flatSemScript.sml b/compiler/backend/semantics/flatSemScript.sml
@@ -39,8 +39,8 @@ val _ = Datatype`
   v =
     | Litv lit
     | Conv ((ctor_id # type_id) option) (v list)
-    | Closure ('v environment) varN exp
-    | Recclosure ('v environment) ((varN # varN # exp) list) varN
+    | Closure (v environment) varN exp
+    | Recclosure (v environment) ((varN # varN # exp) list) varN
     | Loc num
     | Vectorv (v list)`;