Major patch to add -fwarn-redundant-constraints
[ghc.git] / testsuite / tests / polykinds / T6015a.hs
1 {-# OPTIONS_GHC -fno-warn-redundant-constraints #-}
2 {-# LANGUAGE PolyKinds, KindSignatures, FunctionalDependencies, FlexibleInstances,
3 UndecidableInstances, TypeOperators, DataKinds, FlexibleContexts #-}
4
5 module T6015a where
6
7 import Prelude hiding ((++))
8
9 data T a = T
10
11 class ((a :: [k]) ++ (b :: [k])) (c :: [k]) | a b -> c
12 instance ('[] ++ b) b
13 instance (a ++ b) c => ((x ': a) ++ b) (x ': c)
14
15 test = T :: ('[True] ++ '[]) l => T l