diff options
author | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 12:15:46 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2008-09-07 12:15:46 -0400 |
commit | 1f893091967ed6a9bd8469a62ddf4017e87d563d (patch) | |
tree | 5985b4036cf586410f210927f33ac86a4c6af0f9 /src/mono_print.sml | |
parent | f2829abe30366bc78ce8e5bd6272fac06a7f5b84 (diff) |
Error-parsing ints
Diffstat (limited to 'src/mono_print.sml')
-rw-r--r-- | src/mono_print.sml | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/src/mono_print.sml b/src/mono_print.sml index a2c55b6a..19084a65 100644 --- a/src/mono_print.sml +++ b/src/mono_print.sml @@ -62,11 +62,9 @@ fun p_typ' par env (t, _) = string (#1 (E.lookupDatatype env n))) handle E.UnboundNamed _ => string ("UNBOUND_DATATYPE_" ^ Int.toString n)) | TFfi (m, x) => box [string "FFI(", string m, string ".", string x, string ")"] - | TOption t => - (case #1 t of - TDatatype _ => p_typ env t - | TFfi ("Basis", "string") => p_typ env t - | _ => box [p_typ env t, string "*"]) + | TOption t => box [string "option(", + p_typ env t, + string ")"] and p_typ env = p_typ' false env |