testsuite/tests/parser/should_compile/T15457.hs


1
2
3
4
5
6
7
8
9
10
11
12

{-# LANGUAGE TypeOperators #-}
module T15457 where

import Data.Type.Equality

data a ! b; infix 0 !
data a + b; infix 9 +

fixityProof :: (Int ! Int + Int) :~: (Int ! (Int + Int))
fixityProof = Refl

data Foo a b = MkFoo (a ! b) !Int !(Bool ! Bool)