Mercurial > urweb
diff src/corify.sml @ 139:adfa2c7a75da
Form binding parameters threaded through
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 20 Jul 2008 10:11:16 -0400 |
| parents | 96bd3350e77d |
| children | f0d3402184d1 |
line wrap: on
line diff
--- a/src/corify.sml Sat Jul 19 18:56:57 2008 -0400 +++ b/src/corify.sml Sun Jul 20 10:11:16 2008 -0400 @@ -480,9 +480,11 @@ 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)