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


1
2
3
4
5
6
7
8
9

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


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

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