Mercurial > urweb
diff src/monoize.sml @ 139:adfa2c7a75da
Form binding parameters threaded through
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 20 Jul 2008 10:11:16 -0400 |
| parents | b1cfe49ce692 |
| children | f214c535d253 |
line wrap: on
line diff
--- a/src/monoize.sml Sat Jul 19 18:56:57 2008 -0400 +++ b/src/monoize.sml Sun Jul 20 10:11:16 2008 -0400 @@ -138,15 +138,28 @@ | L.EFfi mx => (L'.EFfi mx, loc) | L.EFfiApp (m, x, es) => (L'.EFfiApp (m, x, map (monoExp env) es), loc) - | L.EApp ((L.ECApp ((L.EFfi ("Basis", "cdata"), _), - _), _), se) => (L'.EFfiApp ("Basis", "htmlifyString", [monoExp env se]), loc) + | L.EApp ( + (L.ECApp ( + (L.ECApp ( + (L.ECApp ((L.EFfi ("Basis", "cdata"), _), _), _), + _), _), + _), _), + se) => (L'.EFfiApp ("Basis", "htmlifyString", [monoExp env se]), loc) | L.EApp ( (L.EApp ( (L.ECApp ( (L.ECApp ( (L.ECApp ( - (L.EFfi ("Basis", "join"), - _), _), _), + (L.ECApp ( + (L.ECApp ( + (L.ECApp ( + (L.ECApp ( + (L.EFfi ("Basis", "join"), + _), _), _), + _), _), + _), _), + _), _), + _), _), _), _), _), _), xml1), _), @@ -159,8 +172,12 @@ (L.ECApp ( (L.ECApp ( (L.ECApp ( - (L.EFfi ("Basis", "tag"), - _), _), _), _), _), _), _), _), _), + (L.ECApp ( + (L.ECApp ( + (L.ECApp ( + (L.ECApp ( + (L.EFfi ("Basis", "tag"), + _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), attrs), _), tag), _), xml) =>