Mercurial > urweb

comparison src/corify.sml @ 147:eb16f2aadbe9

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Meta-programming forms
author Adam Chlipala <adamc@hcoop.net>
date Tue, 22 Jul 2008 18:46:04 -0400
parents 80ac94b54e41
children 7420fa18d657
comparison
equal deleted inserted replaced
146:80ac94b54e41 147:eb16f2aadbe9
486 let 486 let
487 fun wrapSgi ((sgi, _), (wds, eds)) = 487 fun wrapSgi ((sgi, _), (wds, eds)) =
488 case sgi of 488 case sgi of
489 L.SgiVal (s, _, t as (L.TFun (dom, ran), _)) => 489 L.SgiVal (s, _, t as (L.TFun (dom, ran), _)) =>
490 (case (#1 dom, #1 ran) of 490 (case (#1 dom, #1 ran) of
491 (L.TRecord _, 491 (L.TRecord (L.CRecord (_, []), _),
492 L.CApp 492 L.CApp
493 ((L.CApp 493 ((L.CApp
494 ((L.CApp ((L.CModProj (_, [], "xml"), _), 494 ((L.CApp ((L.CModProj (_, [], "xml"), _),
495 (L.CRecord (_, [((L.CName "Html", _), 495 (L.CRecord (_, [((L.CName "Html", _),
496 _)]), _)), _), _), _), _)) => 496 _)]), _)), _), _), _), _)) =>