Implement Partial Type Signatures
[ghc.git] / testsuite / tests / partial-sigs / should_fail / TidyClash.hs
1 module TidyClash where
2
3 -- Type variables originating from wildcards are normally given the name w_,
4 -- but in this case there is already a type variable called w_. Tidying the
5 -- types should result in w_1 and w_2 for the two new type variables
6 -- originating from the wildcards.
7
8 bar :: w_ -> (w_, _ -> _)
9 bar x = (x, \y -> undefined)