blob: 1fe2cc255faaec86de904f42863350f62d997fe8 (
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)
|