./devel/hs-constraints, Constraint manipulation

[ CVSweb ] [ Homepage ] [ RSS ] [ Required by ] [ Add to tracker ]

Branch: CURRENT, Version: 0.14.2nb2, Package name: hs-constraints-0.14.2nb2, Maintainer: pkgsrc-users

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.

Master sites:

Filesize: 20.707 KB

Version history: (Expand)

CVS history: (Expand)


   2025-03-05 04:40:14 by Masatake Daimon | Files touched by this commit (1173) 
Log message:
recursive revbump after patching lang/ghc910
   2025-02-02 14:06:08 by Masatake Daimon | Files touched by this commit (1173) 
Log message:
Bump all Haskell packages after switching the default compiler.
   2025-01-30 15:47:35 by Masatake Daimon | Files touched by this commit (3) | Package updated
Log message:
devel/hs-constraints: update to constraints-0.14.2

0.14.2 [2024.05.12]
-------------------
* Re-export `Log2` from `Data.Constraint.Nat`.
* Add `log2Nat` and `log2Pow` to `Data.Constraint.Nat`.

0.14.1 [2024.04.29]
-------------------
* Remove an unused dependency on the `type-equality` library.
   2024-05-09 03:32:57 by Masatake Daimon | Files touched by this commit (1137) 
Log message:
Recursive revbump after changing the default Haskell compiler
   2024-04-29 11:41:04 by Masatake Daimon | Files touched by this commit (1) 
Log message:
devel/hs-constraints: Fix build with GHC 9.8

This breaks build with the currently default GHC 9.6. Please bear with me
until I switch the default compiler.
   2023-11-02 07:37:49 by Masatake Daimon | Files touched by this commit (1141) 
Log message:
Revbump all Haskell after updating lang/ghc96
   2023-10-29 12:26:07 by Masatake Daimon | Files touched by this commit (4) 
Log message:
devel/hs-constraints: Update to 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.
   2023-10-09 06:55:01 by Masatake Daimon | Files touched by this commit (988) 
Log message:
Bump Haskell packages after updating lang/ghc94