diff src/mono_opt.sml @ 721:9864b64b1700

Classes as optional arguments to Basis.tag
author Adam Chlipala <adamc@hcoop.net>
date Sun, 12 Apr 2009 14:19:15 -0400
parents e28637743279
children f7e2026dd5ae
line wrap: on
line diff
--- a/src/mono_opt.sml	Sun Apr 12 12:31:54 2009 -0400
+++ b/src/mono_opt.sml	Sun Apr 12 14:19:15 2009 -0400
@@ -242,6 +242,13 @@
       | EWrite (EFfiApp ("Basis", "attrifyString", [e]), _) =>
         EFfiApp ("Basis", "attrifyString_w", [e])
 
+      | EFfiApp ("Basis", "attrifyCss_class", [(EPrim (Prim.String s), _)]) =>
+        EPrim (Prim.String s)
+      | EWrite (EFfiApp ("Basis", "attrifyCss_class", [(EPrim (Prim.String s), _)]), loc) =>
+        EWrite (EPrim (Prim.String s), loc)
+      | EWrite (EFfiApp ("Basis", "attrifyCss_class", [e]), _) =>
+        EFfiApp ("Basis", "attrifyString_w", [e])
+
       | EFfiApp ("Basis", "urlifyInt", [(EPrim (Prim.Int n), _)]) =>
         EPrim (Prim.String (urlifyInt n))
       | EWrite (EFfiApp ("Basis", "urlifyInt", [(EPrim (Prim.Int n), _)]), loc) =>