diff src/mono_fooify.sml @ 2265:a647a1560628

Hard-code Sqlcache module (in Ur/Web) as effectful and reorder sqlcache.sml.
author Ziv Scully <ziv@mit.edu>
date Wed, 14 Oct 2015 00:07:00 -0400
parents 34ad83d9b729
children
line wrap: on
line diff
--- a/src/mono_fooify.sml	Tue Oct 13 20:24:37 2015 -0400
+++ b/src/mono_fooify.sml	Wed Oct 14 00:07:00 2015 -0400
@@ -167,7 +167,6 @@
                 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 @@
             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)