Embrace -XTypeInType, add -XStarIsType
[ghc.git] / testsuite / tests / typecheck / should_compile / tc205.hs
1 {-# LANGUAGE TypeOperators, GADTs, KindSignatures #-}
2
3 -- Tests infix type constructors in GADT declarations
4
5 module ShouldCompile where
6
7 import Data.Kind
8
9 infix 1 `DArrowX` -- (->) has precedence 0
10
11 data DArrowX :: Type -> Type -> Type where
12 First :: a `DArrowX` a' -> (a,b) `DArrowX` (a',b)