Mercurial > urweb
diff src/tag.sml @ 1646:ca3b73a7b4d0
Get a few more source files up-to-date with change to [tag] type
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Wed, 28 Dec 2011 18:05:27 -0500 |
| parents | 3621f486ce72 |
| children | 0577be31a435 |
line wrap: on
line diff
--- a/src/tag.sml Wed Dec 28 10:30:56 2011 -0500 +++ b/src/tag.sml Wed Dec 28 18:05:27 2011 -0500 @@ -109,7 +109,7 @@ (EApp ( (EApp ( (EApp ( - (ECApp ( + (EApp ( (ECApp ( (ECApp ( (ECApp ( @@ -117,10 +117,12 @@ (ECApp ( (ECApp ( (ECApp ( - (EFfi ("Basis", "tag"), - loc), given), _), absent), _), outer), _), inner), _), - useOuter), _), useInner), _), bindOuter), _), bindInner), _), - class), _), + (ECApp ( + (EFfi ("Basis", "tag"), + loc), given), _), absent), _), outer), _), inner), _), + useOuter), _), useInner), _), bindOuter), _), bindInner), _), + class), _), + dynClass), _), attrs), _), tag), _), xml) => @@ -149,7 +151,7 @@ (EApp ( (EApp ( (EApp ( - (ECApp ( + (EApp ( (ECApp ( (ECApp ( (ECApp ( @@ -157,10 +159,11 @@ (ECApp ( (ECApp ( (ECApp ( - (EFfi ("Basis", "tag"), - loc), given), loc), absent), loc), outer), loc), inner), loc), - useOuter), loc), useInner), loc), bindOuter), loc), bindInner), loc), - class), loc), + (ECApp ( + (EFfi ("Basis", "tag"), + loc), given), loc), absent), loc), outer), loc), inner), loc), + useOuter), loc), useInner), loc), bindOuter), loc), bindInner), loc), + class), loc), dynClass), loc), (ERecord xets, loc)), loc), tag), loc), xml), s)