From 509e9564fe6655fe79e70decf2a61a6a6d3761ba Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Thu, 18 Dec 2014 07:48:37 -0500 Subject: Fix XML syntax for closing tags --- tests/nestedInput.ur | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 tests/nestedInput.ur (limited to 'tests') diff --git a/tests/nestedInput.ur b/tests/nestedInput.ur new file mode 100644 index 00000000..19a73e15 --- /dev/null +++ b/tests/nestedInput.ur @@ -0,0 +1,10 @@ +fun main () : transaction page = + let + fun handler _ = return + in + return + + + end -- cgit v1.2.3