... | ... | @@ -211,8 +211,6 @@ A new kind-polymorphic `Compare` type family was added in the `Data.Type.Ord` mo |
|
|
test2 :: forall (x :: Nat). Proxy (x <=? x) -> Proxy True
|
|
|
```
|
|
|
|
|
|
### `ghc-prim-0.8.*`
|
|
|
|
|
|
#### Sized Word/Int use sized Word#/Int# primitives
|
|
|
|
|
|
Before 9.2, `Int{8,16,32}`/`Word{8,16,32}` were all wrappers for `Int#/Word#`, e.g. `data Int8 = I8# Int#`. Now they are wrappers for the appropriate sized primitive types, e.g. `data Int8 = I8# Int8#`. This change was made to properly handle FFI calling conventions on Darwin/ARM64 (see be5d74caab64abf9d986fc7290f62731db7e73e7).
|
... | ... | |