diff options
author | 2011-04-09 14:36:47 -0400 | |
---|---|---|
committer | 2011-04-09 14:36:47 -0400 | |
commit | a9d63c44fad31322477b51c11655adfb7002712e (patch) | |
tree | 129120a683d01c00c6deb50349c48d8975dfd573 /src/mono_opt.sml | |
parent | bb8cd3211735e282f6e61a5bc9136eec616379e4 (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) => |