From 95aad188ede9c075c2bfc6d8a7f9f5b7348db0ad Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 2 May 2009 13:23:07 -0400 Subject: Path rewriting --- tests/rewrite.ur | 9 +++++++++ 1 file changed, 9 insertions(+) create mode 100644 tests/rewrite.ur (limited to 'tests/rewrite.ur') diff --git a/tests/rewrite.ur b/tests/rewrite.ur new file mode 100644 index 00000000..8b9f5bb8 --- /dev/null +++ b/tests/rewrite.ur @@ -0,0 +1,9 @@ +table t : { A : int } + +fun other () = return + Other + + +fun main () = return + Hi! + -- cgit v1.2.3