IL.TheE translation fix

Wasm-DSL · Jul 31, 2024 · 95922e0 · 95922e0
1 parent 993d5c4
commit 95922e0
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/spectec/src/il2al/translate.ml b/spectec/src/il2al/translate.ml
@@ -283,7 +283,11 @@ and translate_exp exp =
     )
   | Il.ProjE (e, 0) -> translate_exp e
   | Il.OptE inner_exp -> optE (Option.map translate_exp inner_exp) ~at:at ~note:note
-  | Il.TheE e -> chooseE (translate_exp e)  ~at:at ~note:note
+  | Il.TheE e -> (
+    match note.it with
+    | Il.IterT (typ, _) -> chooseE (translate_exp e)  ~at:at ~note:typ
+    | _ -> error_exp exp "TheE"
+  )
   (* Yet *)
   | _ -> yetE (Il.Print.string_of_exp exp) ~at:at ~note:note