From 1019cb48c80260d7df27096826e8594ec242dc5a Mon Sep 17 00:00:00 2001 From: Olivier Laurent Date: Thu, 7 May 2020 14:12:00 +0200 Subject: rename Bool.leb into Bool.le (same for ltb and compareb) --- doc/changelog/10-standard-library/12008-ollibs-bool.rst | 2 +- doc/changelog/10-standard-library/12162-bool-leb.rst | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) create mode 100644 doc/changelog/10-standard-library/12162-bool-leb.rst (limited to 'doc') diff --git a/doc/changelog/10-standard-library/12008-ollibs-bool.rst b/doc/changelog/10-standard-library/12008-ollibs-bool.rst index 7c10d261a7..42e5eb96eb 100644 --- a/doc/changelog/10-standard-library/12008-ollibs-bool.rst +++ b/doc/changelog/10-standard-library/12008-ollibs-bool.rst @@ -1,5 +1,5 @@ - **Added:** - Order relations ``ltb`` and ``compareb`` added in ``Bool.Bool``. + Order relations ``lt`` and ``compare`` added in ``Bool.Bool``. Order properties for ``bool`` added in ``Bool.BoolOrder`` as well as two modules ``Bool_as_OT`` and ``Bool_as_DT`` in ``Structures.OrdersEx`` (`#12008 `_, by Olivier Laurent). diff --git a/doc/changelog/10-standard-library/12162-bool-leb.rst b/doc/changelog/10-standard-library/12162-bool-leb.rst new file mode 100644 index 0000000000..6a4070a82e --- /dev/null +++ b/doc/changelog/10-standard-library/12162-bool-leb.rst @@ -0,0 +1,4 @@ +- **Deprecated:** + ``Bool.leb`` in favor of ``Bool.le``. The definition of ``Bool.le`` is made local to avoid conflicts with ``Nat.le``. As a consequence, previous calls to ``leb`` based on importing ``Bool`` should now be qualified into ``Bool.le`` even if ``Bool`` is imported. + (`#12162 `_, + by Olivier Laurent). -- cgit v1.2.3