Add HsSyn prettyprinter tests
[ghc.git] / testsuite / tests / typecheck / should_fail / ExpandSynsFail2.hs
1 -- In case of types with nested type synonyms, all synonyms should be expanded
2
3 {-# LANGUAGE RankNTypes #-}
4
5 import Control.Monad.ST
6
7 type Foo = Int
8 type Bar = Bool
9
10 type MyFooST s = ST s Foo
11 type MyBarST s = ST s Bar
12
13 fooGen :: forall s . MyFooST s
14 fooGen = undefined
15
16 barGen :: forall s . MyBarST s
17 barGen = undefined
18
19 main = print (runST fooGen == runST barGen)