Mercurial > urweb
comparison src/monoize.sml @ 727:ba4c230b7231
Show XML
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Thu, 16 Apr 2009 12:43:55 -0400 |
parents | 4c5796512edc |
children | 1b1047992ecf |
comparison
equal
deleted
inserted
replaced
726:6fc633d990e7 | 727:ba4c230b7231 |
---|---|
898 end | 898 end |
899 | L.EFfi ("Basis", "show_bool") => | 899 | L.EFfi ("Basis", "show_bool") => |
900 ((L'.EFfi ("Basis", "boolToString"), loc), fm) | 900 ((L'.EFfi ("Basis", "boolToString"), loc), fm) |
901 | L.EFfi ("Basis", "show_time") => | 901 | L.EFfi ("Basis", "show_time") => |
902 ((L'.EFfi ("Basis", "timeToString"), loc), fm) | 902 ((L'.EFfi ("Basis", "timeToString"), loc), fm) |
903 | L.ECApp ((L.ECApp ((L.ECApp ((L.EFfi ("Basis", "show_xml"), _), _),_), _), _), _) => | |
904 let | |
905 val s = (L'.TFfi ("Basis", "string"), loc) | |
906 in | |
907 ((L'.EAbs ("s", s, s, (L'.ERel 0, loc)), loc), fm) | |
908 end | |
903 | L.ECApp ((L.EFfi ("Basis", "mkShow"), _), t) => | 909 | L.ECApp ((L.EFfi ("Basis", "mkShow"), _), t) => |
904 let | 910 let |
905 val t = monoType env t | 911 val t = monoType env t |
906 val b = (L'.TFfi ("Basis", "string"), loc) | 912 val b = (L'.TFfi ("Basis", "string"), loc) |
907 val dom = (L'.TFun (t, b), loc) | 913 val dom = (L'.TFun (t, b), loc) |