Mercurial > urweb
comparison src/monoize.sml @ 1477:d65387bdc557
'show' instance for 'css_class'
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 23 Jun 2011 08:44:03 -0400 |
parents | b703b375c3c0 |
children | f561025bb68e |
comparison
equal
deleted
inserted
replaced
1476:3bef8d50b4d6 | 1477:d65387bdc557 |
---|---|
1195 val s = (L'.TFfi ("Basis", "string"), loc) | 1195 val s = (L'.TFfi ("Basis", "string"), loc) |
1196 in | 1196 in |
1197 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) | 1197 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) |
1198 end | 1198 end |
1199 | L.EFfi ("Basis", "show_url") => | 1199 | L.EFfi ("Basis", "show_url") => |
1200 let | |
1201 val s = (L'.TFfi ("Basis", "string"), loc) | |
1202 in | |
1203 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) | |
1204 end | |
1205 | L.EFfi ("Basis", "show_css_class") => | |
1200 let | 1206 let |
1201 val s = (L'.TFfi ("Basis", "string"), loc) | 1207 val s = (L'.TFfi ("Basis", "string"), loc) |
1202 in | 1208 in |
1203 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) | 1209 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) |
1204 end | 1210 end |