Mercurial > urweb
comparison src/corify.sml @ 147:eb16f2aadbe9
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 _)]), _)), _), _), _), _)) => |