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


1
2
3
4
5
6
7
8
9

{-# LANGUAGE ExplicitForAll, PartialTypeSignatures #-}
module Bug where

g,h:: forall a. a -> _

g x = x       -- Instantiates the wildcard to 'a'

h x = True    -- Instantiates the wildcard to Bool