testsuite: Assert that testsuite ways are known
[ghc.git] / testsuite / tests / typecheck / should_compile / tc160.hs
1 {-# LANGUAGE RankNTypes #-}
2
3 --Tests alpha-renaming in with extended type-synonyms
4
5 module ShouldCompile where
6
7 type Foo x = forall a. a -> x
8
9 foo :: Foo (Foo ())
10 -- foo :: forall a b. a -> b -> ()
11 -- NOT forall a. a -> a -> ()
12 foo = undefined
13
14 baz = foo 'c' True