summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/ExpandSynsFail4.stderr
blob: d11f72a75848803459ef7a42d0c80065f376969b (plain)
1
2
3
4
5
6
7
8

ExpandSynsFail4.hs:11:22: error:
    • Couldn't match type ‘Bool’ with ‘Int’
      Expected: T Int
        Actual: T Bool
    • In the first argument of ‘f’, namely ‘(undefined :: T Bool)’
      In the second argument of ‘($)’, namely ‘f (undefined :: T Bool)’
      In the expression: putStrLn $ f (undefined :: T Bool)