testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc156.hs
1 {-# LANGUAGE TypeOperators #-}
2
3 -- Test infix type constructors
4
5 module ShouldCompile where
6
7 infixl 4 :*:
8 infixl 3 :+:
9
10 data a :*: b = a :*: b
11 data a :+: b = a :+: b
12
13 data T a b = T (a `b` Int)
14
15 type Foo a b = a `T` b
16
17 f :: Int :*: Bool :+: Char
18 f = (3 :*: True) :+: 'c'