Test that incorrectly annotated patterns give errors

1ml-prime · Feb 28, 2020 · 6167f5b · 6167f5b
1 parent 23c5b81
commit 6167f5b
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/regression.1ml b/regression.1ml
@@ -39,6 +39,16 @@ typparams_allowed (id 'a: a => a) ({alsoId 'x: x => x}) =
 
 ;;
 
+type_error {
+ inconsistent_empty_and_annpat ({}: int) = ();
+};
+
+type_error {
+ inconsistent_nested_annpats ((x: int): text) = ();
+};
+
+;;
+
 type_error { type_error 101 };
 
 ;;