... | ... | @@ -68,4 +68,17 @@ The `Nat` kind is now a type synonym for `Natural` (from `Numeric.Natural`). As |
|
|
|
|
|
### `ghc-prim-0.8.*`
|
|
|
|
|
|
TODO: Mention `Int{8,16,32}#`/`Word{8,16,32}#`-related changes |
|
|
\ No newline at end of file |
|
|
TODO: Mention `Int{8,16,32}#`/`Word{8,16,32}#`-related changes
|
|
|
|
|
|
### `template-haskell-2.18.*`
|
|
|
|
|
|
Template Haskell now supports the ability to write type applications as arguments to data constructors in patterns. As a result, the `ConP` constructor of `Pat` now accepts a list of `Type`s that represent its visible type arguments, if any are provided:
|
|
|
|
|
|
```diff
|
|
|
data Pat
|
|
|
= ...
|
|
|
- | ConP Name [Pat]
|
|
|
+ | ConP Name [Type] [Pat]
|
|
|
```
|
|
|
|
|
|
For example, the `(Just x)` in `f (Just x) = x` is now represented as `ConP 'Just [] [VarP x]`. |
|
|
\ No newline at end of file |