Mercurial > urweb
comparison src/monoize.sml @ 1929:f792a6544093
Add show instance for 'id' type
author | Sergey Mironov <grrwlf@gmail.com> |
---|---|
date | Mon, 07 Oct 2013 14:08:10 +0400 |
parents | f1c211936557 |
children | 98895243b5b6 |
comparison
equal
deleted
inserted
replaced
1928:f1c211936557 | 1929:f792a6544093 |
---|---|
1260 val s = (L'.TFfi ("Basis", "string"), loc) | 1260 val s = (L'.TFfi ("Basis", "string"), loc) |
1261 in | 1261 in |
1262 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) | 1262 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) |
1263 end | 1263 end |
1264 | L.EFfi ("Basis", "show_css_class") => | 1264 | L.EFfi ("Basis", "show_css_class") => |
1265 let | |
1266 val s = (L'.TFfi ("Basis", "string"), loc) | |
1267 in | |
1268 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) | |
1269 end | |
1270 | L.EFfi ("Basis", "show_id") => | |
1265 let | 1271 let |
1266 val s = (L'.TFfi ("Basis", "string"), loc) | 1272 val s = (L'.TFfi ("Basis", "string"), loc) |
1267 in | 1273 in |
1268 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) | 1274 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) |
1269 end | 1275 end |