testsuite/tests/typecheck/should_compile/tc194.hs


1
2
3
4
5
6
7
8
9
10

{-# LANGUAGE Rank2Types, ScopedTypeVariables #-}

-- Tests the special case of
-- 	non-recursive, function binding, 
--	with no type signature

module ShouldCompile where

f = \ (x :: forall a. a->a) -> (x True, x 'c')