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

T6001.hs:8:18: error: [GHC-83865]
    • 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’