... | ... | @@ -199,6 +199,7 @@ This is mostly an internal refactoring, but it can affect users of the GHC API i |
|
|
|
|
|
- The function arrow `FunTy` now stores a `FunTyFlag` instead of an `AnonArgFlag`. `splitFunTy` now returns this information in addition to the other results.
|
|
|
- The function coercion `FunCo` now takes two `FunTyFlag` arguments.
|
|
|
- Many functions with the `tc` prefix have been removed entirely, e.g. `mkTcSymCo`, `mkTcTransCo` are now replaced by `mkSymCo`, `mkTransCo`.
|
|
|
- `mkForAllTy` now takes a single `ForAllTyBinder` argument instead of a separate variable and visibility.
|
|
|
- The `Nth` coercion constructor has been renamed to `SelCo`, which distinguishes between decomposing a `TyConApp`, a function type, and a forall type. Relevant functions have been adapted, e.g. `mkNthCo` is now `mkSelCo`, etc.
|
|
|
- The pattern synonyms `One, Many :: Mult` have been renamed to `OneTy` and `ManyTy`.
|
... | ... | |