From 373cb403871c0c77f26cb76213adde3aeb278240 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 21 May 2018 18:53:38 -0400 Subject: A test for List.groupBy --- tests/listGroupBy.ur | 13 +++++++++++++ tests/listGroupBy.urp | 4 ++++ 2 files changed, 17 insertions(+) create mode 100644 tests/listGroupBy.ur create mode 100644 tests/listGroupBy.urp diff --git a/tests/listGroupBy.ur b/tests/listGroupBy.ur new file mode 100644 index 00000000..c2419ce1 --- /dev/null +++ b/tests/listGroupBy.ur @@ -0,0 +1,13 @@ +fun lister () = List.tabulateM (fn _ => n <- rand; return (n % 100)) 8 + +fun main () : transaction page = + inp <- source []; + return +