diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-05-06 15:46:25 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-05-06 15:46:25 -0400 |
| commit | 26f04ac120daaf16f40e104a5a72a4bb6a28553c (patch) | |
| tree | b5e9cc5a95c73f0c347031e261974662cf82cd5c /src/tag.sml | |
| parent | fbac88dd556f0de8c89f04aa0c1feb2ce1d52b75 (diff) | |
Fix bugs in support for 'style' and 'dynStyle'
Diffstat (limited to 'src/tag.sml')
| -rw-r--r-- | src/tag.sml | 32 |
1 files changed, 19 insertions, 13 deletions
diff --git a/src/tag.sml b/src/tag.sml index 6037cb17..9c4807c6 100644 --- a/src/tag.sml +++ b/src/tag.sml @@ -110,19 +110,23 @@ fun exp env (e, s) = (EApp ( (EApp ( (EApp ( - (ECApp ( - (ECApp ( + (EApp ( + (EApp ( (ECApp ( (ECApp ( (ECApp ( (ECApp ( (ECApp ( (ECApp ( - (EFfi ("Basis", "tag"), - loc), given), _), absent), _), outer), _), inner), _), - useOuter), _), useInner), _), bindOuter), _), bindInner), _), - class), _), - dynClass), _), + (ECApp ( + (ECApp ( + (EFfi ("Basis", "tag"), + loc), given), _), absent), _), outer), _), inner), _), + useOuter), _), useInner), _), bindOuter), _), bindInner), _), + class), _), + dynClass), _), + style), _), + dynStyle), _), attrs), _), tag), _), xml) => @@ -152,18 +156,20 @@ fun exp env (e, s) = (EApp ( (EApp ( (EApp ( - (ECApp ( - (ECApp ( + (EApp ( + (EApp ( (ECApp ( (ECApp ( (ECApp ( (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), dynClass), loc), + (ECApp ( + (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), style), loc), dynStyle), loc), (ERecord xets, loc)), loc), tag), loc), xml), s) |