testsuite/tests/partial-sigs/should_compile/WarningWildcardInstantiations.hs


1
2
3
4
5
6
7
8
9

{-# LANGUAGE PartialTypeSignatures, NamedWildCards, ScopedTypeVariables, RankNTypes #-}
module WildcardInstantiations where


foo :: (Show _a, _) => _a -> _
foo x = show (succ x)

bar :: _ -> _ -> _
bar x y = y x