[Git][ghc/ghc][master] fix: Incorrect @since annotations in GHC.TypeError

[Marge Bot (@marge-bot)]

Marge Bot pushed to branch master at Glasgow Haskell Compiler / GHC


Commits:
048c881e by romes at 2023-03-22T01:04:24-04:00
fix: Incorrect @since annotations in GHC.TypeError

Fixes #23128

- - - - -


2 changed files:

- libraries/base/GHC/TypeError.hs
- libraries/base/changelog.md


Changes:

=====================================
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.
 
- at since 4.16.0.0
+ at 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


=====================================
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,



View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/048c881ee5b11716e37cebe43f2d2eac878c04fb

-- 
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/048c881ee5b11716e37cebe43f2d2eac878c04fb
You're receiving this email because of your account on gitlab.haskell.org.


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mail.haskell.org/pipermail/ghc-commits/attachments/20230322/215e19b4/attachment-0001.html>