Index index by Group index by Distribution index by Vendor index by creation date index by Name Mirrors Help Search

ghc-constraints-0.14-1.1 RPM for riscv64

From OpenSuSE Ports Tumbleweed for riscv64

Name: ghc-constraints Distribution: openSUSE Tumbleweed
Version: 0.14 Vendor: openSUSE
Release: 1.1 Build date: Wed Oct 11 12:55:39 2023
Group: Unspecified Build host: reproducible
Size: 959428 Source RPM: ghc-constraints-0.14-1.1.src.rpm
Packager: https://bugs.opensuse.org
Url: https://hackage.haskell.org/package/constraints
Summary: Constraint manipulation
GHC 7.4 gave us the ability to talk about 'ConstraintKinds'. They stopped
crashing the compiler in GHC 7.6.

This package provides a vocabulary for working with them.

Provides

Requires

License

BSD-2-Clause

Changelog

* Wed Oct 11 2023 Peter Simons <psimons@suse.com>
  - Update constraints to version 0.14.
    0.14 [2023.10.11]
    - ----------------
    * Drop support for GHCs older than 8.6.
    * The `forall` function in `Data.Constraint.Forall` has been renamed to
      `forall_`, since a future version of GHC will make the use of `forall` as
      an identifier an error.
    * Implement `Data.Constraint.Forall` using `QuantifiedConstraints`.
    * Remove `Lifting` instances for `ErrorT` and `ListT`, which were removed
      in `transformers-0.6.*`.
    * Add a `c => Boring (Dict c)` instance.
    * Add the `Data.Constraint.Char` module, which contains utilities for working
      with `KnownChar` constraints. This module is only available on GHC 9.2 or
      later.
    * Add `unsafeAxiom` to `Data.Constraint.Unsafe`.
    * Add `unsafeSChar`, `unsafeSNat`, and `unsafeSSymbol` to
      `Data.Constraint.Unsafe` when building with `base-4.18` (GHC 9.6) or later.
* Tue Aug 08 2023 Peter Simons <psimons@suse.com>
  - Update constraints to version 0.13.4 revision 1.
    Upstream has revised the Cabal build instructions on Hackage.
* Thu Mar 30 2023 Peter Simons <psimons@suse.com>
  - Updated spec file to conform with ghc-rpm-macros-2.5.2.
* Fri May 20 2022 Peter Simons <psimons@suse.com>
  - Update constraints to version 0.13.4.
    0.13.4 [2022.05.19]
    - ------------------
    * Correct the CPP introduced in `constraints-0.13.3` such that it works when
      building with `mtl-2.3.*` or later combined with `transformers < 0.6`.
* Mon Jan 31 2022 Peter Simons <psimons@suse.com>
  - Update constraints to version 0.13.3.
    0.13.3 [2022.01.31]
    - ------------------
    * Allow building with `transformers-0.6.*` and `mtl-2.3.*`.
* Tue Nov 16 2021 psimons@suse.com
  - Update constraints to version 0.13.2 revision 1.
    Upstream has revised the Cabal build instructions on Hackage.
* Thu Nov 11 2021 psimons@suse.com
  - Update constraints to version 0.13.2.
    0.13.2 [2021.11.10]
    - ------------------
    * Allow building on GHC HEAD.
* Mon Nov 01 2021 psimons@suse.com
  - Update constraints to version 0.13.1.
    0.13.1 [2021.10.31]
    - ------------------
    * Allow building with GHC 9.2.
* Tue Oct 19 2021 psimons@suse.com
  - Update constraints to version 0.13 revision 1.
    Upstream has revised the Cabal build instructions on Hackage.
* Fri Feb 19 2021 psimons@suse.com
  - Update constraints to version 0.13.
    0.13 [2021.02.17]
    - ----------------
    * `Data.Constraint.Symbol` now reexports the `GHC.TypeLits.AppendSymbol` type
      family from recent versions of `base` (or, on old versions of `base`, it
      defines a backwards-compatibile version of `AppendSymbol`). The existing
      `(++)` type family for `Data.Constraint.Symbol` is now a synonym for
      `AppendSymbol`.
      This is technically a breaking change, as `(++)` was previously defined like
      so:
      ```hs
      type family (++) :: Symbol -> Symbol -> Symbol
      ```
      This meant that `(++)` could be partially applied. However, for compatibility
      with the way that `AppendSymbol` is defined, `(++)` is now defined like so:
      ```hs
      type m ++ n = AppendSymbol m n
      ```
      As a result, `(++)` can no longer be partially applied.
    * Make the `(++)` type family in `Data.Constraint.Symbol` be `infixr 5`.
    * Add `implied :: (a => b) -> (a :- b)` to `Data.Constraint`, which converts
      a quantified constraint into an entailment. This is only available when
      compiled with GHC 8.6 or later.

Files

/usr/lib64/ghc-9.8.2/lib/libHSconstraints-0.14-JKr5kn2suTiEhULb1NRafq-ghc9.8.2.so
/usr/share/licenses/ghc-constraints
/usr/share/licenses/ghc-constraints/LICENSE


Generated by rpm2html 1.8.1

Fabrice Bellet, Tue Apr 30 23:58:22 2024