blob: 621061a3de5a06547690158d2c6da0fcaa14871d (
plain)
1
2
3
4
5
6
7
8
9
10
|
{-# LANGUAGE TypeOperators, GADTs, KindSignatures #-}
-- Tests infix type constructors in GADT declarations
module ShouldCompile where
infix 1 `DArrowX` -- (->) has precedence 0
data DArrowX :: * -> * -> * where
First :: a `DArrowX` a' -> (a,b) `DArrowX` (a',b)
|
