[Git][ghc/ghc][wip/romes/tmp-fix-docs] fix: Incorrect @since annotations in GHC.TypeError
Rodrigo Mesquita (@alt-romes)
gitlab at gitlab.haskell.org
Tue Mar 21 15:45:50 UTC 2023
Rodrigo Mesquita pushed to branch wip/romes/tmp-fix-docs at Glasgow Haskell Compiler / GHC
Commits:
6687b74c by romes at 2023-03-21T15:45:42+00: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/6687b74c160cafc59fb2c1a96c3048a33f113efd
--
View it on GitLab: https://gitlab.haskell.org/ghc/ghc/-/commit/6687b74c160cafc59fb2c1a96c3048a33f113efd
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/20230321/36824766/attachment-0001.html>
More information about the ghc-commits
mailing list