Mercurial > urweb

comparison src/corify.sml @ 1111:e1d738870086

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
JavaScript urlification; more lenient export pattern in Corify; only include scripts in pages that use JavaScript
author Adam Chlipala <adamc@hcoop.net>
date Sat, 02 Jan 2010 14:54:15 -0500
parents 72670131dace
children e06bfeb6c2aa
comparison
equal deleted inserted replaced
1110:7fc4e0087e50 1111:e1d738870086
962 | SOME n => n 962 | SOME n => n
963 963
964 fun wrapSgi ((sgi, _), (wds, eds)) = 964 fun wrapSgi ((sgi, _), (wds, eds)) =
965 case sgi of 965 case sgi of
966 L.SgiVal (s, _, t as (L.TFun (dom, ran), _)) => 966 L.SgiVal (s, _, t as (L.TFun (dom, ran), _)) =>
967 (case (#1 dom, #1 ran) of 967 (case #1 ran of
968 (L.TRecord _, 968 L.CApp ((L.CModProj (basis, [], "transaction"), _),
969 L.CApp ((L.CModProj (basis, [], "transaction"), _), 969 ran' as
970 ran' as 970 (L.CApp
971 (L.CApp 971 ((L.CApp
972 ((L.CApp 972 ((L.CApp ((L.CModProj (basis', [], "xml"), _),
973 ((L.CApp ((L.CModProj (basis', [], "xml"), _), 973 (L.CRecord (_, [((L.CName "Html", _),
974 (L.CRecord (_, [((L.CName "Html", _), 974 _)]), _)), _), _),
975 _)]), _)), _), _), 975 _), _), _)) =>
976 _), _), _))) =>
977 let 976 let
978 val ran = (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc) 977 val ran = (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc)
979 val ranT = (L.CApp ((L.CModProj (basis, [], "transaction"), loc), 978 val ranT = (L.CApp ((L.CModProj (basis, [], "transaction"), loc),
980 ran), loc) 979 ran), loc)
981 val e = (L.EModProj (m, ms, s), loc) 980 val e = (L.EModProj (m, ms, s), loc)