testsuite/tests/typecheck/should_fail/tcfail061.hs


1
2
3
4
5
6
7
8
9
10
11

-- !! signature bugs exposed by Sigbjorn Finne
--
module ShouldFail where

type Flarp a = (b,b)

--More fun can be had if we change the signature slightly

type Bob a = a

type Flarp2 a = Bob (b,b)