diff options
| -rw-r--r-- | libraries/base/GHC/TypeError.hs | 4 | ||||
| -rw-r--r-- | libraries/base/changelog.md | 6 |
2 files changed, 5 insertions, 5 deletions
diff --git a/libraries/base/GHC/TypeError.hs b/libraries/base/GHC/TypeError.hs index a74f573ae2..77df75854b 100644 --- a/libraries/base/GHC/TypeError.hs +++ b/libraries/base/GHC/TypeError.hs @@ -12,7 +12,7 @@ This module exports the TypeError family, which is used to provide custom type errors, and the ErrorMessage kind used to define these custom error messages. This is a type-level analogue to the term level error function. -@since 4.16.0.0 +@since 4.17.0.0 -} module GHC.TypeError @@ -132,7 +132,7 @@ equation of Assert kicks in, and -- where @NotPError@ reduces to a @TypeError@ which is reported if the -- assertion fails. -- --- @since 4.16.0.0 +-- @since 4.17.0.0 -- type Assert :: Bool -> Constraint -> Constraint type family Assert check errMsg where diff --git a/libraries/base/changelog.md b/libraries/base/changelog.md index 21a52c94ab..19c97fc93f 100644 --- a/libraries/base/changelog.md +++ b/libraries/base/changelog.md @@ -168,6 +168,9 @@ errors. `TypeError` is re-exported from `GHC.TypeLits` for backwards compatibility. + * Comparison constraints in `Data.Type.Ord` (e.g. `<=`) now use the new + `GHC.TypeError.Assert` type family instead of type equality with `~`. + ## 4.16.3.0 *May 2022* * Shipped with GHC 9.2.4 @@ -245,9 +248,6 @@ * `fromInteger :: Integer -> Float/Double` now consistently round to the nearest value, with ties to even. - * Comparison constraints in `Data.Type.Ord` (e.g. `<=`) now use the new - `GHC.TypeError.Assert` type family instead of type equality with `~`. - * Additions to `Data.Bits`: - Newtypes `And`, `Ior`, `Xor` and `Iff` which wrap their argument, |