diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-13 11:43:57 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-13 11:43:57 -0400 |
commit | 95d278b9b8e9c314541b8251a34a32fe6deeb896 (patch) | |
tree | f0f262173a66272d9d91248844f2facc40cc65a2 /src/corify.sml | |
parent | 3316f3c317e587a5fc2ecf38f061a72b48e3b94e (diff) |
Starting with closure links
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/corify.sml b/src/corify.sml index faeda0d1..9c44140d 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -358,7 +358,8 @@ fun corifyExp st (e, loc) = | 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 @@ fun corifyDecl ((d, loc : EM.span), st) = (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) |