621061a3de5a06547690158d2c6da0fcaa14871d
[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 infix 1 `DArrowX` -- (->) has precedence 0
8
9 data DArrowX :: * -> * -> * where
10 First :: a `DArrowX` a' -> (a,b) `DArrowX` (a',b)