Mercurial > urweb
diff src/mono_opt.sml @ 2085:fd6d362666c0
Optimizing writes of single characters
| author | Adam Chlipala <adam@chlipala.net> |
|---|---|
| date | Thu, 04 Dec 2014 19:54:04 -0500 |
| parents | 9f65e2188d3c |
| children | e3a79066380d 5709482a2afd |
line wrap: on
line diff
--- a/src/mono_opt.sml Thu Dec 04 02:47:24 2014 -0500 +++ b/src/mono_opt.sml Thu Dec 04 19:54:04 2014 -0500 @@ -626,6 +626,8 @@ EFfiApp ("Basis", "attrifyChar", [e]) | EFfiApp ("Basis", "attrifyString_w", [((EFfiApp ("Basis", "str1", [e]), _), _)]) => EFfiApp ("Basis", "attrifyChar_w", [e]) + | EWrite (EFfiApp ("Basis", "str1", [e]), _) => + EFfiApp ("Basis", "writec", [e]) | EBinop (_, "+", (EPrim (Prim.Int n1), _), (EPrim (Prim.Int n2), _)) => EPrim (Prim.Int (Int64.+ (n1, n2)))