summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/T2846b.stderr
blob: 95b30407f2bfcce02009fb06dc7e4805e046d455 (plain)
1
2
3
4
5
6
7
8
9
10

T2846b.hs:5:11: error:
    • Couldn't match expected type ‘a1’
                  with actual type ‘[Num a0 => a0]’
      Cannot instantiate unification variable ‘a1’
      with a type involving polytypes: [Num a0 => a0]
    • In the first argument of ‘show’, namely
        ‘([1, 2, 3] :: [Num a => a])’
      In the expression: show ([1, 2, 3] :: [Num a => a])
      In an equation for ‘f’: f = show ([1, 2, 3] :: [Num a => a])