summaryrefslogtreecommitdiff
path: root/src/monoize.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/monoize.sml')
-rw-r--r--src/monoize.sml1
1 files changed, 1 insertions, 0 deletions
diff --git a/src/monoize.sml b/src/monoize.sml
index b314d1d6..1d39357e 100644
--- a/src/monoize.sml
+++ b/src/monoize.sml
@@ -248,6 +248,7 @@ fun monoDecl env (all as (d, loc)) =
L.DCon _ => NONE
| L.DVal (x, n, t, e, s) => SOME (Env.pushENamed env x n t (SOME e) s,
(L'.DVal (x, n, monoType env t, monoExp env e, s), loc))
+ | L.DValRec _ => raise Fail "Monoize DValRec"
| L.DExport n =>
let
val (_, t, _, s) = Env.lookupENamed env n