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,