diff options
author | Ziv Scully <ziv@mit.edu> | 2015-10-14 00:07:00 -0400 |
---|---|---|
committer | Ziv Scully <ziv@mit.edu> | 2015-10-14 00:07:00 -0400 |
commit | e86ed0717e35bea1ad6127d193e5979aec4841b9 (patch) | |
tree | 4cad5b76d4d1e760994253144d13e4c3e4a5bd8e /src/mono_fooify.sml | |
parent | 51117ba9333e00cdd8c4c31307effbe93601d328 (diff) |
Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.
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) |