diff options
Diffstat (limited to 'src/mono_fooify.sml')
-rw-r--r-- | src/mono_fooify.sml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/mono_fooify.sml b/src/mono_fooify.sml index bbd34b15..e64207cd 100644 --- a/src/mono_fooify.sml +++ b/src/mono_fooify.sml @@ -167,7 +167,6 @@ fun fooifyExpWithExceptions fk lookupENamed lookupDatatype = case t of TFfi ("Basis", "unit") => ((EPrim (Prim.String (Prim.Normal, "")), loc), fm) | TFfi (m, x) => (if Settings.mayClientToServer (m, x) - (* TODO: better error message. (Then again, user should never see this.) *) then ((EFfiApp (m, fk2s fk ^ "ify" ^ capitalize x, [(e, tAll)]), loc), fm) else raise CantPass (fm, tAll)) @@ -311,7 +310,6 @@ fun fooifyExp fk lookupENamed lookupDatatype fm exp = Print.eprefaces' [("Type", MonoPrint.p_typ MonoEnv.empty typ)]; (dummyExp, fm)) - (* Has to be set at the end of [Monoize]. *) val canonicalFm = ref (Fm.empty 0 : Fm.t) |