add more tests for multiple RHS

Author: jcupitt

src/compile.c

@@ -1477,7 +1477,6 @@ compile_remove_subexpr(Compile *compile, PElement *root)
 static gboolean
 compile_defs_check(Compile *compile)
 {
-	g_assert(!compile->sym->generated);
 	g_assert(compile->sym->next_def || !compile->has_default);
 
 	int nparam = -1;

src/factorial.def

@@ -59,29 +59,49 @@ test_binary op_name fn
     }
 }
 
-test_deconstruct = concat [
+test_deconstruct = [
     [test_deconstruct, "deconstruct"],
     [test_struct_deconstruct, "structure deconstruct"],
-    [test_arg_deconstruct, "argument deconstruct"]
+    [test_arg_deconstruct, "argument deconstruct"],
+    [test_list_deconstruct, "list deconstruct"],
+    [test_arg_list_deconstruct, "arg list deconstruct"]
 ]
 {
-	[a] = [12];
+    [a] = [12];
     test_deconstruct = a == 12;
 
     [12, (13, b)] = [12, (13, 14)];
     test_struct_deconstruct = b == 14;
 
     fred [a] = 12;
     test_arg_deconstruct = fred [99] == 12;
+
+    c:d = [1, 2];
+    test_list_deconstruct = c == 1 && d == [2];
+
+    jim (a:x) = a:[1, 2];
+    test_arg_list_deconstruct = jim [3] == [3, 1, 2];
 }
 
-test_multidef = concat [
-    [test_multidef, "multiple definitions"]
+global_factorial 1 = 1;
+global_factorial n = n * global_factorial (n - 1);
+
+test_multidef = [
+    [test_local_multidef, "local multiple definitions"],
+    [test_global_multidef, "global multiple definitions"],
+    [test_multidef_list_pattern, "list pattern multiple definitions"]
 ]
 {
     factorial 1 = 1;
     factorial n = n * factorial (n - 1);
-    test_multidef = factorial 3 == 6;
+    test_local_multidef = factorial 3 == 6;
+
+    test_global_multidef = global_factorial 3 == 6;
+
+    foldr fn st [] = st;
+    foldr fn st (x:xs) = fn x (foldr fn st xs);
+    sum = foldr add 0;
+    test_multidef_list_pattern = sum [1..10] == 55;
 }
 
 tests = concat [