Fold integer-simple.git into ghc.git (re #8545)
[ghc.git] / testsuite / tests / typecheck / should_compile / tc194.hs
1 {-# LANGUAGE RankNTypes, ScopedTypeVariables #-}
2
3 -- Tests the special case of
4 -- non-recursive, function binding,
5 -- with no type signature
6
7 module ShouldCompile where
8
9 f = \ (x :: forall a. a->a) -> (x True, x 'c')
10
11 g (x :: forall a. a->a) = x