summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/ExpandSynsFail4.stderr
blob: bae53ce10401423036f1c9d6684612583ca1990a (plain)
1
2
3
4
5
6
7
ExpandSynsFail4.hs:11:22: error:
    Couldn't match type ‘Bool’ with ‘Int’
    Expected type: T Int
      Actual type: 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)