diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2011-12-28 18:05:27 -0500 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2011-12-28 18:05:27 -0500 |
| commit | 20a5fbfa1207f2aaf79fc3547e424231aedf27c8 (patch) | |
| tree | 105850027486f19df08828bcff6f848427666f1b /src/css.sml | |
| parent | 60641180b57089c353d52e3d9f9ff8769a483ff3 (diff) | |
Get a few more source files up-to-date with change to [tag] type
Diffstat (limited to 'src/css.sml')
| -rw-r--r-- | src/css.sml | 18 |
1 files changed, 11 insertions, 7 deletions
diff --git a/src/css.sml b/src/css.sml index 73f180d9..90c0b5dd 100644 --- a/src/css.sml +++ b/src/css.sml @@ -144,7 +144,7 @@ fun summarize file = (EApp ( (EApp ( (EApp ( - (ECApp ( + (EApp ( (ECApp ( (ECApp ( (ECApp ( @@ -152,9 +152,11 @@ fun summarize file = (ECApp ( (ECApp ( (ECApp ( - (EFfi ("Basis", "tag"), - _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), - (ECon (_, _, _, SOME (ENamed class, _)), _)), _), + (ECApp ( + (EFfi ("Basis", "tag"), + _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), + (ECon (_, _, _, SOME (ENamed class, _)), _)), _), + _), _), attrs), _), tag), _), xml) => @@ -182,7 +184,7 @@ fun summarize file = (EApp ( (EApp ( (EApp ( - (ECApp ( + (EApp ( (ECApp ( (ECApp ( (ECApp ( @@ -190,8 +192,10 @@ fun summarize file = (ECApp ( (ECApp ( (ECApp ( - (EFfi ("Basis", "tag"), - _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), + (ECApp ( + (EFfi ("Basis", "tag"), + _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), + _), _), _), _), attrs), _), tag), _), |