testsuite/tests/partial-sigs/should_fail/ExtraConstraintsWildcardNotEnabled.hs


1
2
3
4
5
6
7
8

module ExtraConstraintsWildcardNotEnabled where


show' :: _ => a -> String
show' x = show x

-- with the PartialTypeSignatures extension enabled this would lead to the
-- type Show a => a -> String