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

T9580.hs:7:9:
    Couldn't match representation of type ‘Dimensional Int Double’
                             with that of ‘Double’
    Relevant role signatures: type role Dimensional nominal nominal
    The data constructor ‘T9580a.Quantity'’
      of newtype ‘Dimensional Int v’ is not in scope
    In the expression: coerce x
    In an equation for ‘foo’: foo x = coerce x