diff options
Diffstat (limited to 'src/monoize.sml')
| -rw-r--r-- | src/monoize.sml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/monoize.sml b/src/monoize.sml index b0b4309e..c79bea67 100644 --- a/src/monoize.sml +++ b/src/monoize.sml @@ -623,7 +623,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = @ map (fn (x, xts) => strcatComma loc (map (fn (x', _) => - sc (x ^ "." ^ x')) + sc (x ^ ".lw_" ^ x')) xts)) stables), sc " FROM ", strcatComma loc (map (fn (x, _) => strcat loc [(L'.EField (gf "From", x), loc), @@ -650,7 +650,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = strcatComma loc (map (fn (x, xts) => strcatComma loc (map (fn (x', _) => - sc (x ^ "." ^ x')) + sc (x ^ ".lw_" ^ x')) xts)) grouped) ], @@ -871,7 +871,7 @@ fun monoExp (env, st, fm) (all as (e, loc)) = _), _), _), _), (L.CName tab, _)), _), - (L.CName field, _)) => ((L'.EPrim (Prim.String (tab ^ "." ^ field)), loc), fm) + (L.CName field, _)) => ((L'.EPrim (Prim.String (tab ^ ".lw_" ^ field)), loc), fm) | L.ECApp ( (L.ECApp ( |