Test that incorrectly annotated patterns give errors

1ml-prime · Feb 28, 2020 · 88b09cf · 88b09cf
1 parent d89569c
commit 88b09cf
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 };
 
 ;;