Mercurial > urweb
diff src/monoize.sml @ 167:2be573fec9a6
Unurlifying a datatype; longjmp-based error signaling mechanism
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Tue, 29 Jul 2008 15:25:42 -0400 |
| parents | 6847741e1f5f |
| children | 25b169416ea8 |
line wrap: on
line diff
--- a/src/monoize.sml Tue Jul 29 14:28:44 2008 -0400 +++ b/src/monoize.sml Tue Jul 29 15:25:42 2008 -0400 @@ -115,7 +115,7 @@ | L'.TFfi ("Basis", "float") => (L'.EFfiApp ("Basis", name ^ "ifyFloat", [e]), loc) | L'.TRecord [] => (L'.EPrim (Prim.String ""), loc) - | L'.TNamed _ => (L'.EPrim (Prim.String ""), loc) + | L'.TNamed _ => (L'.EPrim (Prim.String "A"), loc) | _ => (E.errorAt loc "Don't know how to encode attribute type"; Print.eprefaces' [("Type", MonoPrint.p_typ MonoEnv.empty tAll)];