Fix incorrect ambiguity error on identically-named data constructors
[ghc.git] / testsuite / tests / typecheck / should_fail / T11698.hs
1 {-# LANGUAGE MonoLocalBinds #-}
2 module T11698 where
3
4 f x = (k 'v', k True)
5 where
6 h = const True x
7 k z = const h (k z) -- k type should not be generalized because h is closed.