testsuite/tests/typecheck/should_compile/tc160.hs


1
2
3
4
5
6
7
8
9
10
11
12
13
14

{-# LANGUAGE Rank2Types #-}

--Tests alpha-renaming in with extended type-synonyms

module ShouldCompile where

type Foo x = forall a. a -> x

foo :: Foo (Foo ())
-- foo :: forall a b. a -> b -> ()
--  NOT   forall a. a -> a -> ()
foo =  undefined

baz = foo 'c' True