diff options
author | Adam Chlipala <adamc@hcoop.net> | 2010-01-02 14:54:15 -0500 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2010-01-02 14:54:15 -0500 |
commit | f0670d5a5a60c1bdda0277fcf74f2cf3f028c5b4 (patch) | |
tree | 96967222b55ddf2e8ab94d78bbb13cf84fd1ddd4 /src/corify.sml | |
parent | c8de04e4f81490bfde750375c55de2a260072e82 (diff) |
JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript
Diffstat (limited to 'src/corify.sml')
-rw-r--r-- | src/corify.sml | 19 |
1 files changed, 9 insertions, 10 deletions
diff --git a/src/corify.sml b/src/corify.sml index a1a5c745..2720f8db 100644 --- a/src/corify.sml +++ b/src/corify.sml @@ -964,16 +964,15 @@ fun corifyDecl mods (all as (d, loc : EM.span), st) = fun wrapSgi ((sgi, _), (wds, eds)) = case sgi of L.SgiVal (s, _, t as (L.TFun (dom, ran), _)) => - (case (#1 dom, #1 ran) of - (L.TRecord _, - L.CApp ((L.CModProj (basis, [], "transaction"), _), - ran' as - (L.CApp - ((L.CApp - ((L.CApp ((L.CModProj (basis', [], "xml"), _), - (L.CRecord (_, [((L.CName "Html", _), - _)]), _)), _), _), - _), _), _))) => + (case #1 ran of + L.CApp ((L.CModProj (basis, [], "transaction"), _), + ran' as + (L.CApp + ((L.CApp + ((L.CApp ((L.CModProj (basis', [], "xml"), _), + (L.CRecord (_, [((L.CName "Html", _), + _)]), _)), _), _), + _), _), _)) => let val ran = (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc) val ranT = (L.CApp ((L.CModProj (basis, [], "transaction"), loc), |