Take account of injectivity when doing fundeps
[ghc.git] / testsuite / tests / typecheck / should_fail / T6001.stderr
1
2 T6001.hs:8:18:
3     Couldn't match type ‘Integer’ with ‘Int’
4     Expected type: Integer -> DayKind
5       Actual type: Int -> DayKind
6     When checking that instance signature for ‘fromInteger’
7       is more general than its signature in the class
8       Instance sig: Int -> DayKind
9          Class sig: Integer -> DayKind
10     In the instance declaration for ‘Num DayKind’