Mercurial > urweb
diff src/mono_opt.sml @ 185:19ee24bffbc0
FFI datatypes
author | Adam Chlipala <adamc@hcoop.net> |
---|---|
date | Sun, 03 Aug 2008 17:57:47 -0400 |
parents | 98c29e3986d3 |
children | fb6ed259f5bd |
line wrap: on
line diff
--- a/src/mono_opt.sml Sun Aug 03 16:53:13 2008 -0400 +++ b/src/mono_opt.sml Sun Aug 03 17:57:47 2008 -0400 @@ -185,7 +185,6 @@ | EWrite (EFfiApp ("Basis", "urlifyString", [e]), _) => EFfiApp ("Basis", "urlifyString_w", [e]) - | EWrite (ECase (discE, pes, {disc, ...}), loc) => optExp (ECase (discE, map (fn (p, e) => (p, (EWrite e, loc))) pes,