ghc/compiler/tests/typecheck/should_fail/tcfail061.hs

   1 --!! signature bugs exposed by Sigbjorne Finne
   2 --
   3 module ShouldFail where
   4
   5 type Flarp a = (b,b)
   6
   7 --More fun can be had if we change the signature slightly
   8
   9 type Bob a = a
  10
  11 type Flarp2 a = Bob (b,b)