diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-29 12:30:04 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-29 12:30:04 -0400 |
commit | 4cbbb0bb751dd9e9dae9d6b621e563ee5c7ae1b4 (patch) | |
tree | 13fe85f442a35d516a1591c98af5b85e0cf1f6b7 /src/corify.sml | |
parent | 21f2ec92093d2b00afe3d36476f20f45b4d4a194 (diff) |
Add datatype import constructor annotations; datatypes through explify
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') |