blob: 35e502c64e43726cd40eae9a341caaec38ae4535 (
plain)
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)
|