# HG changeset patch # User Adam Chlipala # Date 1366125956 14400 # Node ID 3005c66b70e8a11a2d7d1811d6133e2ed17af512 # Parent e15234fbb163df3172e08bd4bb5bb0fa07a2d376 Get -css flag working again diff -r e15234fbb163 -r 3005c66b70e8 src/css.sml --- a/src/css.sml Tue Apr 16 10:55:48 2013 -0400 +++ b/src/css.sml Tue Apr 16 11:25:56 2013 -0400 @@ -157,7 +157,7 @@ (ECApp ( (EFfi ("Basis", "tag"), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), _), - (ECon (_, _, _, SOME (ENamed class, _)), _)), _), + (ENamed class, _)), _), _), _), _), _), _), _), diff -r e15234fbb163 -r 3005c66b70e8 tests/funnyStyles.ur --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/funnyStyles.ur Tue Apr 16 11:25:56 2013 -0400 @@ -0,0 +1,8 @@ +style booboo +style hoohoo + +fun main () : transaction page = return +

booboo

hoohoo

null

+ diff -r e15234fbb163 -r 3005c66b70e8 tests/funnyStyles.urp --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/tests/funnyStyles.urp Tue Apr 16 11:25:56 2013 -0400 @@ -0,0 +1,4 @@ +rewrite style FunnyStyles/booboo mixed_rule-applied +rewrite all FunnyStyles/* + +funnyStyles