From 6d454de6e5954f0e09adafca3141b5394bbc5140 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sun, 6 May 2012 15:27:30 -0400 Subject: New optional suffice for 'rewrite' in .urp files: [-] --- tests/hyphenate.ur | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 tests/hyphenate.ur (limited to 'tests/hyphenate.ur') diff --git a/tests/hyphenate.ur b/tests/hyphenate.ur new file mode 100644 index 00000000..48c94f6b --- /dev/null +++ b/tests/hyphenate.ur @@ -0,0 +1,7 @@ +style extra_special +style somewhat_special + +fun main () : transaction page = return + Test + Test + -- cgit v1.2.3