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