From a1c7ace0c228aeac6c8fc9219505d13006d09e48 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 18 Jul 2012 17:29:13 -0400 Subject: Support fancy expressions in module-level 'val' declarations --- tests/longConst.urp | 2 ++ 1 file changed, 2 insertions(+) create mode 100644 tests/longConst.urp (limited to 'tests/longConst.urp') diff --git a/tests/longConst.urp b/tests/longConst.urp new file mode 100644 index 00000000..0710a6fa --- /dev/null +++ b/tests/longConst.urp @@ -0,0 +1,2 @@ +$/list +longConst -- cgit v1.2.3