summaryrefslogtreecommitdiff
path: root/testsuite/tests/typecheck/should_fail/tcfail018.stderr
blob: 1aa13624e94601f9a68369c17dd9c859f0d275db (plain)
1
2
3
4
5
6
7
8
9
10
11
12

tcfail018.hs:5:10:
    No instance for (Num [t0])
      arising from the literal `1'
    The type variable `t0' is ambiguous
    Possible cause: the monomorphism restriction applied to the following:
      a :: t0 (bound at tcfail018.hs:5:2)
    Probable fix: give these definition(s) an explicit type signature
                  or use -XNoMonomorphismRestriction
    Possible fix: add an instance declaration for (Num [t0])
    In the expression: 1
    In a pattern binding: (a : []) = 1