From 3cfe60aebb9de2a1d897a111f779eacb6614b7cc Mon Sep 17 00:00:00 2001 From: Jan Stolarek Date: Mon, 9 Nov 2015 15:44:47 +0100 Subject: Abstract TFs can have injectivity information Summary: For abstract type families we incorrectly rejected their injectivity annotation. Fixes #11007. Test Plan: #6018 Reviewers: goldfire, austin, bgamari Subscribers: thomie Differential Revision: https://phabricator.haskell.org/D1453 GHC Trac Issues: #11007 --- testsuite/tests/typecheck/should_compile/T6018.hs-boot | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) (limited to 'testsuite') diff --git a/testsuite/tests/typecheck/should_compile/T6018.hs-boot b/testsuite/tests/typecheck/should_compile/T6018.hs-boot index 8ac5ce9e51..e31903a312 100644 --- a/testsuite/tests/typecheck/should_compile/T6018.hs-boot +++ b/testsuite/tests/typecheck/should_compile/T6018.hs-boot @@ -2,6 +2,9 @@ module T6018 where --- this declaration uses different type variables than the one in the source --- file but it should be accepted nevertheless +-- these declarations use different type variables than the ones in the source +-- file but they should be accepted nevertheless + type family F d e f = (r :: k) | r -> d e f + +type family FClosed (d :: *) (e :: *) (f :: *) = (r :: *) | r -> d e f where .. -- cgit v1.2.1