From b0368093645dcb7f65e131862d8ae9c81f2844f2 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Fri, 26 Feb 2016 10:32:08 -0500 Subject: More consistent formatting for new List functions --- tests/groupBy.ur | 3 +++ tests/groupBy.urp | 4 ++++ 2 files changed, 7 insertions(+) create mode 100644 tests/groupBy.ur create mode 100644 tests/groupBy.urp (limited to 'tests') diff --git a/tests/groupBy.ur b/tests/groupBy.ur new file mode 100644 index 00000000..e91e33cc --- /dev/null +++ b/tests/groupBy.ur @@ -0,0 +1,3 @@ +val main : transaction page = return + {[List.groupBy eq (1 :: 1 :: 2 :: 2 :: 3 :: 4 :: 4 :: 4 :: 5 :: [])]} + diff --git a/tests/groupBy.urp b/tests/groupBy.urp new file mode 100644 index 00000000..de1db792 --- /dev/null +++ b/tests/groupBy.urp @@ -0,0 +1,4 @@ +rewrite all GroupBy/* + +$/list +groupBy -- cgit v1.2.3