From fbd6de2f0761b63a5f0a88ce0590f515d63790a4 Mon Sep 17 00:00:00 2001 From: Jan Stolarek Date: Sat, 9 Jan 2016 20:58:52 +0100 Subject: Add InjectiveTypeFamilies language extension Previously injective type families were part of TypeFamilies. Now they are in a separate language extension. Test Plan: ./validate Reviewers: austin, bgamari, goldfire Reviewed By: bgamari Subscribers: goldfire, thomie Differential Revision: https://phabricator.haskell.org/D1750 GHC Trac Issues: #11381 --- testsuite/tests/driver/T11381.stderr | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 testsuite/tests/driver/T11381.stderr (limited to 'testsuite/tests/driver/T11381.stderr') diff --git a/testsuite/tests/driver/T11381.stderr b/testsuite/tests/driver/T11381.stderr new file mode 100644 index 0000000000..afe652d38e --- /dev/null +++ b/testsuite/tests/driver/T11381.stderr @@ -0,0 +1,5 @@ + +T11381.hs:7:23: + Illegal injectivity annotation + Use InjectiveTypeFamilies to allow this + In the type family declaration for ‘F’ -- cgit v1.2.1