Mercurial > urweb
diff src/mono_opt.sml @ 1446:36f7d1debb37
Each context gets its own non-repeating sequence of source numbers
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sat, 09 Apr 2011 14:36:47 -0400 |
parents | 6e6f1643c4e9 |
children | 2f5fd248588d |
line wrap: on
line diff
--- a/src/mono_opt.sml Mon Mar 28 10:37:49 2011 -0400 +++ b/src/mono_opt.sml Sat Apr 09 14:36:47 2011 -0400 @@ -249,6 +249,9 @@ | 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) =>