From 7da813265f0601380cdc23e5f89b01dd187a4458 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 27 Dec 2011 16:20:48 -0500 Subject: 'dynClass' pseudo-attribute --- tests/dynClass.ur | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 tests/dynClass.ur (limited to 'tests/dynClass.ur') diff --git a/tests/dynClass.ur b/tests/dynClass.ur new file mode 100644 index 00000000..2c7068c8 --- /dev/null +++ b/tests/dynClass.ur @@ -0,0 +1,21 @@ +style s1 +style s2 + +fun main () : transaction page = + src <- source s1; + s <- source ""; + toggle <- source False; + return + + + + +