Mercurial > urweb

comparison src/mono_fooify.sml @ 2265:a647a1560628

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
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
comparison
equal deleted inserted replaced
2264:bbcf9ba9b39a 2265:a647a1560628
165 end 165 end
166 | _ => 166 | _ =>
167 case t of 167 case t of
168 TFfi ("Basis", "unit") => ((EPrim (Prim.String (Prim.Normal, "")), loc), fm) 168 TFfi ("Basis", "unit") => ((EPrim (Prim.String (Prim.Normal, "")), loc), fm)
169 | TFfi (m, x) => (if Settings.mayClientToServer (m, x) 169 | TFfi (m, x) => (if Settings.mayClientToServer (m, x)
170 (* TODO: better error message. (Then again, user should never see this.) *)
171 then ((EFfiApp (m, fk2s fk ^ "ify" ^ capitalize x, [(e, tAll)]), loc), fm) 170 then ((EFfiApp (m, fk2s fk ^ "ify" ^ capitalize x, [(e, tAll)]), loc), fm)
172 else raise CantPass (fm, tAll)) 171 else raise CantPass (fm, tAll))
173 172
174 | TRecord [] => ((EPrim (Prim.String (Prim.Normal, "")), loc), fm) 173 | TRecord [] => ((EPrim (Prim.String (Prim.Normal, "")), loc), fm)
175 | TRecord ((x, t) :: xts) => 174 | TRecord ((x, t) :: xts) =>
309 | DontKnow (fm, typ as (_, loc)) => 308 | DontKnow (fm, typ as (_, loc)) =>
310 (E.errorAt loc "Don't know how to encode attribute/URL type"; 309 (E.errorAt loc "Don't know how to encode attribute/URL type";
311 Print.eprefaces' [("Type", MonoPrint.p_typ MonoEnv.empty typ)]; 310 Print.eprefaces' [("Type", MonoPrint.p_typ MonoEnv.empty typ)];
312 (dummyExp, fm)) 311 (dummyExp, fm))
313 312
314
315 (* Has to be set at the end of [Monoize]. *) 313 (* Has to be set at the end of [Monoize]. *)
316 val canonicalFm = ref (Fm.empty 0 : Fm.t) 314 val canonicalFm = ref (Fm.empty 0 : Fm.t)
317 315
318 fun urlify env expTyp = 316 fun urlify env expTyp =
319 let 317 let