Mercurial > urweb
diff src/explify.sml @ 87:275aaeb73f1f
Push KUnit and CUnit through the phases
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 01 Jul 2008 13:23:46 -0400 |
| parents | 1f85890c9846 |
| children | 7bab29834cd6 |
line wrap: on
line diff
--- a/src/explify.sml Tue Jul 01 13:19:14 2008 -0400 +++ b/src/explify.sml Tue Jul 01 13:23:46 2008 -0400 @@ -38,7 +38,7 @@ | L.KName => (L'.KName, loc) | L.KRecord k => (L'.KRecord (explifyKind k), loc) - | L.KUnit => raise Fail "Explify KUnit" + | L.KUnit => (L'.KUnit, loc) | L.KError => raise Fail ("explifyKind: KError at " ^ EM.spanToString loc) | L.KUnif (_, _, ref (SOME k)) => explifyKind k @@ -65,7 +65,7 @@ | L.CConcat (c1, c2) => (L'.CConcat (explifyCon c1, explifyCon c2), loc) | L.CFold (dom, ran) => (L'.CFold (explifyKind dom, explifyKind ran), loc) - | L.CUnit => raise Fail "Explify CUnit" + | L.CUnit => (L'.CUnit, loc) | L.CError => raise Fail ("explifyCon: CError at " ^ EM.spanToString loc) | L.CUnif (_, _, _, ref (SOME c)) => explifyCon c