summaryrefslogtreecommitdiff
path: root/testsuite/tests/indexed-types/should_fail/T9580.stderr
blob: 19ceefb0ff59d4fb3784c04a5926e78e51166084 (plain)
1
2
3
4
5
6
7
8
9
10
[1 of 2] Compiling T9580a           ( T9580a.hs, T9580a.o )
[2 of 2] Compiling T9580            ( T9580.hs, T9580.o )

T9580.hs:7:9:
    Could not coerce from ‘Dimensional Int Double’ to ‘Double’
    because the data constructor ‘T9580a.Quantity'’
      of newtype ‘Dimensional Int v’ is not in scope
      arising from a use of ‘coerce’
    In the expression: coerce x
    In an equation for ‘foo’: foo x = coerce x