diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-20 10:11:16 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-20 10:11:16 -0400 |
| commit | d76bf83a5e8eb9a0b4e194f83cfadd8d55c00dfd (patch) | |
| tree | 8e7af4b896c122b1d91b8abb2024ea8f115f5d0e /src/corify.sml | |
| parent | 1500c4fedf82243dfbee5fff8ea392905f0a8c80 (diff) | |
Form binding parameters threaded through
Diffstat (limited to 'src/corify.sml')
| -rw-r--r-- | src/corify.sml | 8 |
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) |