Mercurial > urweb

comparison src/corify.sml @ 139:adfa2c7a75da

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Form binding parameters threaded through
author Adam Chlipala <adamc@hcoop.net>
date Sun, 20 Jul 2008 10:11:16 -0400
parents 96bd3350e77d
children f0d3402184d1
comparison
equal deleted inserted replaced
138:d6d78055f001 139:adfa2c7a75da
478 fun wrapSgi ((sgi, _), (wds, eds)) = 478 fun wrapSgi ((sgi, _), (wds, eds)) =
479 case sgi of 479 case sgi of
480 L.SgiVal (s, _, t as (L.TFun (dom, ran), _)) => 480 L.SgiVal (s, _, t as (L.TFun (dom, ran), _)) =>
481 (case (#1 dom, #1 ran) of 481 (case (#1 dom, #1 ran) of
482 (L.TRecord _, 482 (L.TRecord _,
483 L.CApp ((L.CModProj (_, [], "xml"), _), 483 L.CApp
484 (L.CRecord (_, [((L.CName "Html", _), 484 ((L.CApp
485 _)]), _))) => 485 ((L.CApp ((L.CModProj (_, [], "xml"), _),
486 (L.CRecord (_, [((L.CName "Html", _),
487 _)]), _)), _), _), _), _)) =>
486 let 488 let
487 val ran = (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc) 489 val ran = (L.TRecord (L.CRecord ((L.KType, loc), []), loc), loc)
488 val e = (L.EModProj (m, ms, s), loc) 490 val e = (L.EModProj (m, ms, s), loc)
489 val e = (L.EAbs ("vs", dom, ran, 491 val e = (L.EAbs ("vs", dom, ran,
490 (L.EWrite (L.EApp (e, (L.ERel 0, loc)), loc), loc)), loc) 492 (L.EWrite (L.EApp (e, (L.ERel 0, loc)), loc), loc)), loc)