From eaf6a58af5da4b8d033747992700235fed259145 Mon Sep 17 00:00:00 2001 From: Max Bolingbroke Date: Tue, 6 Sep 2011 08:41:20 +0100 Subject: Test associated type defaults --- testsuite/tests/typecheck/should_fail/AssocTyDef06.stderr | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 testsuite/tests/typecheck/should_fail/AssocTyDef06.stderr (limited to 'testsuite/tests/typecheck/should_fail/AssocTyDef06.stderr') diff --git a/testsuite/tests/typecheck/should_fail/AssocTyDef06.stderr b/testsuite/tests/typecheck/should_fail/AssocTyDef06.stderr new file mode 100644 index 0000000000..7c79207a49 --- /dev/null +++ b/testsuite/tests/typecheck/should_fail/AssocTyDef06.stderr @@ -0,0 +1,5 @@ + +AssocTyDef06.hs:6:5: + Family instance has too many parameters: `Typ' + In the type synonym instance declaration for `Typ' + In the class declaration for `Cls' -- cgit v1.2.1