diff options
Diffstat (limited to 'src/corify.sml')
| -rw-r--r-- | src/corify.sml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/corify.sml b/src/corify.sml index f9433cff..a5309dec 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -83,6 +83,9 @@ fun corifyDecl (d, loc : EM.span) = L.DCon (x, n, k, c) => (L'.DCon (x, n, corifyKind k, corifyCon c), loc) | L.DVal (x, n, t, e) => (L'.DVal (x, n, corifyCon t, corifyExp e), loc) + | L.DSgn _ => raise Fail "Not ready to corify signature" + | L.DStr _ => raise Fail "Not ready to corify structure" + val corify = map corifyDecl end |