Mercurial > urweb

comparison src/monoize.sml @ 2029:dfa35ca83d92

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
'sql_injectable_prim' instance for 'url'
author Adam Chlipala <adam@chlipala.net>
date Sun, 15 Jun 2014 10:48:53 -0400
parents 73e54a6aba79
children 6be31671911b
comparison
equal deleted inserted replaced
2028:485570cb3b6e 2029:dfa35ca83d92
2206 fm) 2206 fm)
2207 | L.ECApp ((L.EFfi ("Basis", "sql_serialized"), _), _) => 2207 | L.ECApp ((L.EFfi ("Basis", "sql_serialized"), _), _) =>
2208 ((L'.EAbs ("x", (L'.TFfi ("Basis", "string"), loc), (L'.TFfi ("Basis", "string"), loc), 2208 ((L'.EAbs ("x", (L'.TFfi ("Basis", "string"), loc), (L'.TFfi ("Basis", "string"), loc),
2209 (L'.EFfiApp ("Basis", "sqlifyString", [((L'.ERel 0, loc), (L'.TFfi ("Basis", "string"), loc))]), loc)), loc), 2209 (L'.EFfiApp ("Basis", "sqlifyString", [((L'.ERel 0, loc), (L'.TFfi ("Basis", "string"), loc))]), loc)), loc),
2210 fm) 2210 fm)
2211 | L.EFfi ("Basis", "sql_url") =>
2212 ((L'.EAbs ("x", (L'.TFfi ("Basis", "string"), loc), (L'.TFfi ("Basis", "string"), loc),
2213 (L'.EFfiApp ("Basis", "sqlifyString", [((L'.ERel 0, loc), (L'.TFfi ("Basis", "string"), loc))]), loc)), loc),
2214 fm)
2211 | L.ECApp ((L.EFfi ("Basis", "sql_prim"), _), t) => 2215 | L.ECApp ((L.EFfi ("Basis", "sql_prim"), _), t) =>
2212 let 2216 let
2213 val t = monoType env t 2217 val t = monoType env t
2214 val tf = (L'.TFun (t, (L'.TFfi ("Basis", "string"), loc)), loc) 2218 val tf = (L'.TFun (t, (L'.TFfi ("Basis", "string"), loc)), loc)
2215 in 2219 in