Mercurial > urweb
diff src/monoize.sml @ 106:d101cb1efe55
More with attributes and efficient serialization
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Thu, 10 Jul 2008 15:49:14 -0400 |
| parents | da760c34f5ed |
| children | 813e5a52063d |
line wrap: on
line diff
--- a/src/monoize.sml Thu Jul 10 15:19:06 2008 -0400 +++ b/src/monoize.sml Thu Jul 10 15:49:14 2008 -0400 @@ -81,7 +81,7 @@ fun attrifyExp (e, tAll as (t, loc)) = case t of - L'.TFfi ("Basis", "string") => e + L'.TFfi ("Basis", "string") => (L'.EFfiApp ("Basis", "attrifyString", [e]), loc) | L'.TFfi ("Basis", "int") => (L'.EFfiApp ("Basis", "attrifyInt", [e]), loc) | L'.TFfi ("Basis", "float") => (L'.EFfiApp ("Basis", "attrifyFloat", [e]), loc) | _ => (E.errorAt loc "Don't know how to encode attribute type";