diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-04-12 14:19:15 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-12 14:19:15 -0400 |
| commit | 2f324fc9e868e0775e1401833b74af15652c6732 (patch) | |
| tree | 09447cbf30adcc3cc79bc4ebe766f74d8a60a4a9 /src/tag.sml | |
| parent | 84168a777e28ab53917bc3ed448cc90e6b00a4ed (diff) | |
Classes as optional arguments to Basis.tag
Diffstat (limited to 'src/tag.sml')
| -rw-r--r-- | src/tag.sml | 20 |
1 files changed, 12 insertions, 8 deletions
diff --git a/src/tag.sml b/src/tag.sml index 715da9ed..7a8fe128 100644 --- a/src/tag.sml +++ b/src/tag.sml @@ -46,7 +46,7 @@ fun exp env (e, s) = EApp ( (EApp ( (EApp ( - (ECApp ( + (EApp ( (ECApp ( (ECApp ( (ECApp ( @@ -54,9 +54,11 @@ fun exp env (e, s) = (ECApp ( (ECApp ( (ECApp ( - (EFfi ("Basis", "tag"), - loc), given), _), absent), _), outer), _), inner), _), - useOuter), _), useInner), _), bindOuter), _), bindInner), _), + (ECApp ( + (EFfi ("Basis", "tag"), + loc), given), _), absent), _), outer), _), inner), _), + useOuter), _), useInner), _), bindOuter), _), bindInner), _), + class), _), attrs), _), tag), _), xml) => @@ -124,7 +126,7 @@ fun exp env (e, s) = (EApp ( (EApp ( (EApp ( - (ECApp ( + (EApp ( (ECApp ( (ECApp ( (ECApp ( @@ -132,9 +134,11 @@ fun exp env (e, s) = (ECApp ( (ECApp ( (ECApp ( - (EFfi ("Basis", "tag"), - loc), given), loc), absent), loc), outer), loc), inner), loc), - useOuter), loc), useInner), loc), bindOuter), loc), bindInner), loc), + (ECApp ( + (EFfi ("Basis", "tag"), + loc), given), loc), absent), loc), outer), loc), inner), loc), + useOuter), loc), useInner), loc), bindOuter), loc), bindInner), loc), + class), loc), (ERecord xets, loc)), loc), tag), loc), xml), s) |