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

T6001.hs:8:18: error:
    • Couldn't match type ‘Int’ with ‘Integer’
      Expected: Integer -> DayKind
        Actual: Int -> DayKind
    • When checking that instance signature for ‘fromInteger’
        is more general than its signature in the class
        Instance sig: Int -> DayKind
           Class sig: Integer -> DayKind
      In the instance declaration for ‘Num DayKind’