diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-07-29 15:25:42 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-07-29 15:25:42 -0400 |
commit | cb3b3831a07d6674a5fa02e3e8a1e4329b58cb34 (patch) | |
tree | 7b6064344549091735d28d42ac9fb19073e9760a /src/monoize.sml | |
parent | 6855e4766fa8d07e2f3e3cd468de6c58fed0c903 (diff) |
Unurlifying a datatype; longjmp-based error signaling mechanism
Diffstat (limited to 'src/monoize.sml')
-rw-r--r-- | src/monoize.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index 8e3bfaba..e45597b2 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -115,7 +115,7 @@ fun fooifyExp name env = | 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)]; |