Implement -fprint-expanded-synonyms
[ghc.git] / testsuite / tests / typecheck / should_fail / ExpandSynsFail1.hs
1 type Foo = Int
2 type Bar = Bool
3
4 main = print $ (1 :: Foo) == (False :: Bar)