Mercurial > urweb

comparison src/corify.sml @ 719:5c099b1308ae

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
hello compiles with CSS
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 11:08:00 -0400
parents f152f215a02c
children acb8537f58f0
comparison
equal deleted inserted replaced
718:f152f215a02c 719:5c099b1308ae
921 (L.TRecord _, 921 (L.TRecord _,
922 L.CApp ((L.CModProj (basis, [], "transaction"), _), 922 L.CApp ((L.CModProj (basis, [], "transaction"), _),
923 ran' as 923 ran' as
924 (L.CApp 924 (L.CApp
925 ((L.CApp 925 ((L.CApp
926 ((L.CApp ((L.CModProj (basis', [], "xml"), _), 926 ((L.CApp
927 (L.CRecord (_, [((L.CName "Html", _), 927 ((L.CApp ((L.CModProj (basis', [], "xml"), _),
928 _)]), _)), _), _), 928 (L.CRecord (_, [((L.CName "Html", _),
929 _), _), _))) => 929 _)]), _)), _), _),
930 _), _), _), _), _))) =>
930 let 931 let
931 val ran = (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc) 932 val ran = (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc)
932 val ranT = (L.CApp ((L.CModProj (basis, [], "transaction"), loc), 933 val ranT = (L.CApp ((L.CModProj (basis, [], "transaction"), loc),
933 ran), loc) 934 ran), loc)
934 val e = (L.EModProj (m, ms, s), loc) 935 val e = (L.EModProj (m, ms, s), loc)