Mercurial > urweb
diff src/corify.sml @ 110:3739af9e727a
Starting with closure links
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 13 Jul 2008 11:43:57 -0400 |
| parents | 813e5a52063d |
| children | 2d6116de9cca |
line wrap: on
line diff
--- a/src/corify.sml Sun Jul 13 10:17:06 2008 -0400 +++ b/src/corify.sml Sun Jul 13 11:43:57 2008 -0400 @@ -358,7 +358,8 @@ | L.ECApp (e1, c) => (L'.ECApp (corifyExp st e1, corifyCon st c), loc) | L.ECAbs (x, k, e1) => (L'.ECAbs (x, corifyKind k, corifyExp st e1), loc) - | L.ERecord xes => (L'.ERecord (map (fn (c, e, t) => (corifyCon st c, corifyExp st e, corifyCon st t)) xes), loc) + | L.ERecord xes => (L'.ERecord (map (fn (c, e, t) => + (corifyCon st c, corifyExp st e, corifyCon st t)) xes), loc) | L.EField (e1, c, {field, rest}) => (L'.EField (corifyExp st e1, corifyCon st c, {field = corifyCon st field, rest = corifyCon st rest}), loc) | L.EFold k => (L'.EFold (corifyKind k), loc) @@ -450,8 +451,8 @@ (case (#1 dom, #1 ran) of (L.TRecord _, L.CApp ((L.CModProj (_, [], "xml"), _), - (L.TRecord (L.CRecord (_, [((L.CName "Html", _), - _)]), _), _))) => + (L.CRecord (_, [((L.CName "Html", _), + _)]), _))) => let val ran = (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc) val e = (L.EModProj (m, ms, s), loc)