diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2008-07-20 10:40:25 -0400 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-20 10:40:25 -0400 |
| commit | 0fe71710d474e4c93392ec9d2069ef36464fbfa0 (patch) | |
| tree | 4a158085273dfa721a1dcf645c70d5083aa52ebc /src/tag.sml | |
| parent | d76bf83a5e8eb9a0b4e194f83cfadd8d55c00dfd (diff) | |
A simpler context encoding
Diffstat (limited to 'src/tag.sml')
| -rw-r--r-- | src/tag.sml | 18 |
1 files changed, 14 insertions, 4 deletions
diff --git a/src/tag.sml b/src/tag.sml index 1a7e93ca..53966bf9 100644 --- a/src/tag.sml +++ b/src/tag.sml @@ -50,8 +50,13 @@ fun exp env (e, s) = (ECApp ( (ECApp ( (ECApp ( - (EFfi ("Basis", "tag"), - loc), given), _), absent), _), outer), _), inner), _), + (ECApp ( + (ECApp ( + (ECApp ( + (ECApp ( + (EFfi ("Basis", "tag"), + loc), given), _), absent), _), outer), _), inner), _), + useOuter), _), useInner), _), bindOuter), _), bindInner), _), attrs), _), tag), _), xml) => @@ -113,8 +118,13 @@ fun exp env (e, s) = (ECApp ( (ECApp ( (ECApp ( - (EFfi ("Basis", "tag"), - loc), given), loc), absent), loc), outer), loc), inner), loc), + (ECApp ( + (ECApp ( + (ECApp ( + (ECApp ( + (EFfi ("Basis", "tag"), + loc), given), loc), absent), loc), outer), loc), inner), loc), + useOuter), loc), useInner), loc), bindOuter), loc), bindInner), loc), (ERecord xets, loc)), loc), tag), loc), xml), s) |