diff options
Diffstat (limited to 'src/cjrize.sml')
-rw-r--r-- | src/cjrize.sml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/src/cjrize.sml b/src/cjrize.sml index 6796b467..062e2a5a 100644 --- a/src/cjrize.sml +++ b/src/cjrize.sml @@ -160,7 +160,9 @@ fun cifyExp ((e, loc), sm) = fun cifyDecl ((d, loc), sm) = case d of - L.DVal (x, n, t, e, _) => + L.DDatatype _ => raise Fail "Cjrize DDatatype" + + | L.DVal (x, n, t, e, _) => let val (t, sm) = cifyTyp (t, sm) |