summaryrefslogtreecommitdiff
path: root/src/corify.sml
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-20 10:11:16 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-20 10:11:16 -0400
commitd76bf83a5e8eb9a0b4e194f83cfadd8d55c00dfd (patch)
tree8e7af4b896c122b1d91b8abb2024ea8f115f5d0e /src/corify.sml
parent1500c4fedf82243dfbee5fff8ea392905f0a8c80 (diff)
Form binding parameters threaded through
Diffstat (limited to 'src/corify.sml')
-rw-r--r--src/corify.sml8
1 files changed, 5 insertions, 3 deletions
diff --git a/src/corify.sml b/src/corify.sml
index 13db0685..719b4215 100644
--- a/src/corify.sml
+++ b/src/corify.sml
@@ -480,9 +480,11 @@ fun corifyDecl ((d, loc : EM.span), st) =
L.SgiVal (s, _, t as (L.TFun (dom, ran), _)) =>
(case (#1 dom, #1 ran) of
(L.TRecord _,
- L.CApp ((L.CModProj (_, [], "xml"), _),
- (L.CRecord (_, [((L.CName "Html", _),
- _)]), _))) =>
+ L.CApp
+ ((L.CApp
+ ((L.CApp ((L.CModProj (_, [], "xml"), _),
+ (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)