summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/monoize.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index 13feae36..5642693b 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -1524,6 +1524,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) =
in
((L'.EField (e, monoName env x), loc), fm)
end
+ | L.EWith _ => poly ()
| L.ECut _ => poly ()
| L.EFold _ => poly ()