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