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

TcCoercibleFailSafe.hs:9:8:
    Could not coerce from ‛Down Age’ to ‛Down Int’
      because the constructor of ‛Down’ is not imported
      as required in SafeHaskell mode
      arising from a use of ‛coerce’
    In the expression: coerce
    In an equation for ‛foo1’: foo1 = coerce