diff options
author | Adam Chlipala <adam@chlipala.net> | 2011-04-09 14:36:47 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2011-04-09 14:36:47 -0400 |
commit | 51b2033057b25f4cecd3d5e73dc49b60b532834e (patch) | |
tree | 129120a683d01c00c6deb50349c48d8975dfd573 /src/mono_opt.sml | |
parent | 039b577f61a2bdf98abe10c5f10c8e3539a59d19 (diff) |
Each context gets its own non-repeating sequence of source numbers
Diffstat (limited to 'src/mono_opt.sml')
-rw-r--r-- | src/mono_opt.sml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/mono_opt.sml b/src/mono_opt.sml index 12a811cb..34c13e82 100644 --- a/src/mono_opt.sml +++ b/src/mono_opt.sml @@ -249,6 +249,9 @@ fun exp e = | EFfiApp ("Basis", "htmlifyString_w", [(EPrim (Prim.String s), loc)]) => EWrite (EPrim (Prim.String (htmlifyString s)), loc) + | EWrite (EFfiApp ("Basis", "htmlifySource", [e]), _) => + EFfiApp ("Basis", "htmlifySource_w", [e]) + | EFfiApp ("Basis", "attrifyInt", [(EPrim (Prim.Int n), _)]) => EPrim (Prim.String (attrifyInt n)) | EWrite (EFfiApp ("Basis", "attrifyInt", [(EPrim (Prim.Int n), _)]), loc) => |