diff options
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/corify.sml b/src/corify.sml index 4277c35e..0f98e99c 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -384,6 +384,8 @@ fun corifyDecl ((d, loc : EM.span), st) = in ([(L'.DCon (x, n, corifyKind k, corifyCon st c), loc)], st) end + | L.DDatatype _ => raise Fail "Corify DDatatype" + | L.DDatatypeImp _ => raise Fail "Corify DDatatypeImp" | L.DVal (x, n, t, e) => let val (st, n) = St.bindVal st x n @@ -568,6 +570,8 @@ and corifyStr ((str, _), st) = fun maxName ds = foldl (fn ((d, _), n) => case d of L.DCon (_, n', _, _) => Int.max (n, n') + | L.DDatatype (_, n', _) => Int.max (n, n') + | L.DDatatypeImp (_, n', _, _, _, _) => Int.max (n, n') | L.DVal (_, n', _, _) => Int.max (n, n') | L.DValRec vis => foldl (fn ((_, n', _, _), n) => Int.max (n, n)) n vis | L.DSgn (_, n', _) => Int.max (n, n') |