blob: 50e7bbec777cb2583a07571785b3c25efdb6f231 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
|
T20588.hs-boot:8:1: error: [GHC-15843]
Class ‘C’ has conflicting definitions in the module
and its hs-boot file.
Main module: type C :: * -> Constraint
class C a where
meth :: a -> a
{-# MINIMAL meth #-}
Boot file: type C :: * -> Constraint
class C a where
meth :: a -> a
{-# MINIMAL meth #-}
The class methods do not match:
The default methods associated with ‘meth’ are different.
T20588.hs-boot:11:1: error: [GHC-15843]
Class ‘D’ has conflicting definitions in the module
and its hs-boot file.
Main module: type D :: * -> Constraint
class D a where
type T :: * -> *
type family T a
Default: Int
Boot file: type D :: * -> Constraint
class D a where
type T :: * -> *
type family T a
The associated types do not match:
The types of the second associated type default differ.
|