... | ... | @@ -205,7 +205,7 @@ data TcPlugin = forall s . TcPlugin |
|
|
|
|
|
Authors of type-checking plugins that do not want to use this functionality can set this field to the value `const emptyUFM`, indicating that no type families should be rewritten by the plugin.
|
|
|
|
|
|
In addition, typechecker plugins can now return new constraints and contradictions at the same time, instead of either/or with `TcPluginOk`/`TcPluginContradiction`. `TcPluginResult` has been renamed to `TcPluginSolveResult` and is now defined as:
|
|
|
In addition, typechecker plugins can solve some constraints while reporting a separate contradiction, at the same time, instead of either/or with `TcPluginOk`/`TcPluginContradiction`. `TcPluginResult` has been renamed to `TcPluginSolveResult` and is now defined as:
|
|
|
|
|
|
```haskell
|
|
|
data TcPluginSolveResult
|
... | ... | |