Mercurial > urweb
comparison 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 |
comparison
equal
deleted
inserted
replaced
138:d6d78055f001 | 139:adfa2c7a75da |
---|---|
136 | L.ERel n => (L'.ERel n, loc) | 136 | L.ERel n => (L'.ERel n, loc) |
137 | L.ENamed n => (L'.ENamed n, loc) | 137 | L.ENamed n => (L'.ENamed n, loc) |
138 | L.EFfi mx => (L'.EFfi mx, loc) | 138 | L.EFfi mx => (L'.EFfi mx, loc) |
139 | L.EFfiApp (m, x, es) => (L'.EFfiApp (m, x, map (monoExp env) es), loc) | 139 | L.EFfiApp (m, x, es) => (L'.EFfiApp (m, x, map (monoExp env) es), loc) |
140 | 140 |
141 | L.EApp ((L.ECApp ((L.EFfi ("Basis", "cdata"), _), | 141 | L.EApp ( |
142 _), _), se) => (L'.EFfiApp ("Basis", "htmlifyString", [monoExp env se]), loc) | 142 (L.ECApp ( |
143 (L.ECApp ( | |
144 (L.ECApp ((L.EFfi ("Basis", "cdata"), _), _), _), | |
145 _), _), | |
146 _), _), | |
147 se) => (L'.EFfiApp ("Basis", "htmlifyString", [monoExp env se]), loc) | |
143 | L.EApp ( | 148 | L.EApp ( |
144 (L.EApp ( | 149 (L.EApp ( |
145 (L.ECApp ( | 150 (L.ECApp ( |
146 (L.ECApp ( | 151 (L.ECApp ( |
147 (L.ECApp ( | 152 (L.ECApp ( |
148 (L.EFfi ("Basis", "join"), | 153 (L.ECApp ( |
149 _), _), _), | 154 (L.ECApp ( |
155 (L.ECApp ( | |
156 (L.ECApp ( | |
157 (L.EFfi ("Basis", "join"), | |
158 _), _), _), | |
159 _), _), | |
160 _), _), | |
161 _), _), | |
162 _), _), | |
150 _), _), | 163 _), _), |
151 _), _), | 164 _), _), |
152 xml1), _), | 165 xml1), _), |
153 xml2) => (L'.EStrcat (monoExp env xml1, monoExp env xml2), loc) | 166 xml2) => (L'.EStrcat (monoExp env xml1, monoExp env xml2), loc) |
154 | 167 |
157 (L.EApp ( | 170 (L.EApp ( |
158 (L.ECApp ( | 171 (L.ECApp ( |
159 (L.ECApp ( | 172 (L.ECApp ( |
160 (L.ECApp ( | 173 (L.ECApp ( |
161 (L.ECApp ( | 174 (L.ECApp ( |
162 (L.EFfi ("Basis", "tag"), | 175 (L.ECApp ( |
163 _), _), _), _), _), _), _), _), _), | 176 (L.ECApp ( |
177 (L.ECApp ( | |
178 (L.ECApp ( | |
179 (L.EFfi ("Basis", "tag"), | |
180 _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), | |
164 attrs), _), | 181 attrs), _), |
165 tag), _), | 182 tag), _), |
166 xml) => | 183 xml) => |
167 let | 184 let |
168 fun getTag (e, _) = | 185 fun getTag (e, _) = |