diff src/compiler.sml @ 1170:52c6ac6a59f1

Basic analysis of tag and CSS class usage
author Adam Chlipala <adamc@hcoop.net>
date Sat, 27 Feb 2010 14:57:57 -0500
parents 8679ba87cf3c
children 7a2a7a8f9cab
line wrap: on
line diff
--- a/src/compiler.sml	Thu Feb 25 15:08:52 2010 -0500
+++ b/src/compiler.sml	Sat Feb 27 14:57:57 2010 -0500
@@ -1001,6 +1001,13 @@
 
 val toEffectize = transform effectize "effectize" o toMarshalcheck
 
+val css = {
+    func = Css.summarize,
+    print = fn _ => Print.box []
+}
+
+val toCss = transform css "css" o toShake5
+
 val monoize = {
     func = Monoize.monoize CoreEnv.empty,
     print = MonoPrint.p_file MonoEnv.empty