Implement -fprint-expanded-synonyms
[ghc.git] / testsuite / tests / typecheck / should_fail / ExpandSynsFail3.stderr
1 ExpandSynsFail3.hs:21:8: error:
2     Couldn't match type ‘Int’ with ‘Bool’
3     Expected type: T (T3, T5, Int)
4       Actual type: T (T5, T3, Bool)
5     Type synonyms expanded:
6     Expected type: T (T3, T3, Int)
7       Actual type: T (T3, T3, Bool)
8     In the first argument of ‘f’, namely
9       ‘(undefined :: T (T5, T3, Bool))’
10     In the expression: f (undefined :: T (T5, T3, Bool))
11     In an equation for ‘a’: a = f (undefined :: T (T5, T3, Bool))