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

T6001.hs:8:18:
    Couldn't match type ‘Integer’ with ‘Int’
    Expected type: Integer -> DayKind
      Actual type: 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’