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/monoize.sml | |
| parent | 60641180b57089c353d52e3d9f9ff8769a483ff3 (diff) | |
Get a few more source files up-to-date with change to [tag] type
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 3d3b0395..2b3abb61 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -3501,12 +3501,14 @@ fun monoExp (env, st, fm) (all as (e, loc)) = in case #1 dynClass of L'.ENone _ => baseAll - | _ => (strcat [str "<script type=\"text/javascript\">dynClass(execD(", - (L'.EJavaScript (L'.Script, base), loc), - str "),execD(", - (L'.EJavaScript (L'.Script, dynClass), loc), - str "))</script>"], - fm) + | L'.ESome (_, dc) => (strcat [str "<script type=\"text/javascript\">dynClass(execD(", + (L'.EJavaScript (L'.Script, base), loc), + str "),execD(", + (L'.EJavaScript (L'.Script, dc), loc), + str "))</script>"], + fm) + | _ => (E.errorAt loc "Absence/presence of 'dynClass' unknown"; + baseAll) end | L.EApp ( @@ -3541,7 +3543,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (L.EApp ( (L.EApp ( (L.EApp ( - (L.ECApp ( + (L.EApp ( (L.ECApp ( (L.ECApp ( (L.ECApp ( @@ -3549,8 +3551,10 @@ fun monoExp (env, st, fm) (all as (e, loc)) = (L.ECApp ( (L.ECApp ( (L.ECApp ( - (L.EFfi ("Basis", "tag"), - _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), + (L.ECApp ( + (L.EFfi ("Basis", "tag"), + _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), + _), _), _), _), attrs), _), _), _), |