diff options
| author | romes <rodrigo.m.mesquita@gmail.com> | 2023-03-21 15:43:30 +0000 |
|---|---|---|
| committer | Marge Bot <ben+marge-bot@smart-cactus.org> | 2023-03-22 01:04:24 -0400 |
| commit | 048c881ee5b11716e37cebe43f2d2eac878c04fb (patch) | |
| tree | f6c2dd39415cbd9ac3b6aa4a67a61cc261ab4acc /libraries | |
| parent | 0ab0cc119c6d222d50e0970fddb679a6eeef80de (diff) | |
| download | haskell-048c881ee5b11716e37cebe43f2d2eac878c04fb.tar.gz | |
fix: Incorrect @since annotations in GHC.TypeError
Fixes #23128
Diffstat (limited to 'libraries')
| -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, |