... | ... | @@ -126,6 +126,27 @@ g :: a -> a |
|
|
g x = x `f` "hello"
|
|
|
```
|
|
|
|
|
|
### `LiftedRep`/`UnliftedRep` replaced with `BoxedRep`
|
|
|
|
|
|
GHC 9.2 removes the `LiftedRep` and `UnliftedRep` constructors from `GHC.Exts.RuntimeRep` and replaces them with a new `BoxedRep` constructor, as described in [this GHC proposal](https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0203-pointer-rep.rst):
|
|
|
|
|
|
```diff
|
|
|
data RuntimeRep
|
|
|
= ...
|
|
|
- | LiftedRep
|
|
|
- | UnliftedRep
|
|
|
+ | BoxedRep Levity
|
|
|
+
|
|
|
+data Levity = Lifted | Unlifted
|
|
|
```
|
|
|
|
|
|
The `GHC.Types` module now defines the following type synonyms to retain some degree of backwards compatibility with previous versions of GHC:
|
|
|
|
|
|
```hs
|
|
|
type LiftedRep = 'BoxedRep 'Lifted
|
|
|
type UnliftedRep = 'BoxedRep 'Unlifted
|
|
|
```
|
|
|
|
|
|
---
|
|
|
|
|
|
## Library changes
|
... | ... | |