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 +++ 1 file changed, 3 insertions(+) create mode 100644 tests/groupBy.ur (limited to 'tests/groupBy.ur') 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 :: [])]} + -- cgit v1.2.3