Mercurial > urweb
diff src/monoize.sml @ 311:9ad92047a499
Rename 'lw' prefixes to 'uw'
| author | Adam Chlipala <adamc@hcoop.net> |
|---|---|
| date | Sun, 07 Sep 2008 15:40:42 -0400 |
| parents | ea62b15da922 |
| children | a07f476d9b61 |
line wrap: on
line diff
--- a/src/monoize.sml Sun Sep 07 15:35:08 2008 -0400 +++ b/src/monoize.sml Sun Sep 07 15:40:42 2008 -0400 @@ -615,7 +615,7 @@ strcat loc [sc "INSERT INTO ", (L'.ERel 1, loc), sc " (", - strcatComma loc (map (fn (x, _) => sc ("lw_" ^ x)) fields), + strcatComma loc (map (fn (x, _) => sc ("uw_" ^ x)) fields), sc ") VALUES (", strcatComma loc (map (fn (x, _) => (L'.EField ((L'.ERel 0, loc), @@ -641,7 +641,7 @@ (L'.ERel 1, loc), sc " AS T SET ", strcatComma loc (map (fn (x, _) => - strcat loc [sc ("lw_" ^ x + strcat loc [sc ("uw_" ^ x ^ " = "), (L'.EField ((L'.ERel 2, @@ -801,7 +801,7 @@ @ map (fn (x, xts) => strcatComma loc (map (fn (x', _) => - sc (x ^ ".lw_" ^ x')) + sc (x ^ ".uw_" ^ x')) xts)) stables), sc " FROM ", strcatComma loc (map (fn (x, _) => strcat loc [(L'.EField (gf "From", x), loc), @@ -828,7 +828,7 @@ strcatComma loc (map (fn (x, xts) => strcatComma loc (map (fn (x', _) => - sc (x ^ ".lw_" ^ x')) + sc (x ^ ".uw_" ^ x')) xts)) grouped) ], @@ -1049,7 +1049,7 @@ _), _), _), _), (L.CName tab, _)), _), - (L.CName field, _)) => ((L'.EPrim (Prim.String (tab ^ ".lw_" ^ field)), loc), fm) + (L.CName field, _)) => ((L'.EPrim (Prim.String (tab ^ ".uw_" ^ field)), loc), fm) | L.ECApp ( (L.ECApp ( @@ -1604,7 +1604,7 @@ let val t = (L.CFfi ("Basis", "string"), loc) val t' = (L'.TFfi ("Basis", "string"), loc) - val s = "lw_" ^ s + val s = "uw_" ^ s val e = (L'.EPrim (Prim.String s), loc) val xts = map (fn (x, t) => (monoName env x, monoType env t)) xts