summaryrefslogtreecommitdiff
path: root/src/corify.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 11:43:57 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-13 11:43:57 -0400
commit95d278b9b8e9c314541b8251a34a32fe6deeb896 (patch)
treef0f262173a66272d9d91248844f2facc40cc65a2 /src/corify.sml
parent3316f3c317e587a5fc2ecf38f061a72b48e3b94e (diff)
Starting with closure links
Diffstat (limited to 'src/corify.sml')
-rw-r--r--src/corify.sml7
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)