diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:16:20 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-06-12 17:16:20 -0400 |
| commit | 2355b20a32d8ed4924cee84a44831061b2b49b49 (patch) | |
| tree | 7aa350f9a882036f84b87db938ee217663af875b /src/corify.sml | |
| parent | 230753c968d4615b8e875940c4147d79d04d1ad3 (diff) | |
Simple signature matching
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 |