... | ... | @@ -49,7 +49,7 @@ To fix these issues, add a type signature to the expression that the record upda |
|
|
|
|
|
### Superclass expansion is more conservative
|
|
|
|
|
|
GHC 9.6 is more careful about expanding superclasses involving type families so as to avoid potentially infinite loops during typechecking. Here is an example (minimized from the `futhark` library):
|
|
|
GHC 9.6 is more careful about expanding superclasses involving type families so as to avoid a potentially infinite loop at runtime. Here is an example (minimized from the `futhark` library):
|
|
|
|
|
|
```haskell
|
|
|
data Aliases (rep :: Type)
|
... | ... | |