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) =>