4
0

2 Commits

3 changed files with 103 additions and 0 deletions

95
constraints.cabal Normal file
View File

@@ -0,0 +1,95 @@
cabal-version: 2.4
name: constraints
category: Constraints
version: 0.14.2
x-revision: 1
license: BSD-2-Clause
license-file: LICENSE
author: Edward A. Kmett
maintainer: Edward A. Kmett <ekmett@gmail.com>
stability: experimental
homepage: http://github.com/ekmett/constraints/
bug-reports: http://github.com/ekmett/constraints/issues
copyright: Copyright (C) 2011-2021 Edward A. Kmett
synopsis: Constraint manipulation
description:
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.
build-type: Simple
tested-with:
GHC == 9.8.1
GHC == 9.6.3
GHC == 9.4.7
GHC == 9.2.8
GHC == 9.0.2
GHC == 8.10.7
GHC == 8.8.4
GHC == 8.6.5
extra-source-files: README.markdown
, CHANGELOG.markdown
source-repository head
type: git
location: https://github.com/ekmett/constraints.git
library
hs-source-dirs: src
default-language: Haskell2010
other-extensions:
FunctionalDependencies,
ScopedTypeVariables,
StandaloneDeriving,
FlexibleInstances,
FlexibleContexts,
ConstraintKinds,
KindSignatures,
TypeOperators,
Rank2Types,
GADTs
build-depends:
, base >= 4.12 && < 5
, binary >= 0.7.1 && < 0.9
, boring >= 0.2 && < 0.3
, deepseq >= 1.3 && < 1.6
, ghc-prim
, hashable >= 1.2 && < 1.6
, mtl >= 2.2 && < 2.4
, transformers >= 0.5 && < 0.7
if !impl(ghc >= 9.0)
build-depends:
integer-gmp
exposed-modules:
Data.Constraint
Data.Constraint.Deferrable
Data.Constraint.Forall
Data.Constraint.Lifting
Data.Constraint.Nat
Data.Constraint.Symbol
Data.Constraint.Unsafe
if impl(ghc >= 9.2)
exposed-modules:
Data.Constraint.Char
ghc-options: -Wall -Wno-star-is-type
test-suite spec
type: exitcode-stdio-1.0
default-language: Haskell2010
hs-source-dirs: tests
main-is: Spec.hs
other-modules: GH55Spec
GH117Spec
ghc-options: -Wall -threaded -rtsopts
build-tool-depends: hspec-discover:hspec-discover >= 2
build-depends:
, base
, constraints
, hspec >= 2

View File

@@ -1,3 +1,9 @@
-------------------------------------------------------------------
Fri Jul 5 12:23:40 UTC 2024 - Peter Simons <psimons@suse.com>
- Update constraints to version 0.14.2 revision 1.
Upstream has revised the Cabal build instructions on Hackage.
-------------------------------------------------------------------
Sun May 12 22:52:37 UTC 2024 - Peter Simons <psimons@suse.com>

View File

@@ -26,6 +26,7 @@ Summary: Constraint manipulation
License: BSD-2-Clause
URL: https://hackage.haskell.org/package/%{pkg_name}
Source0: https://hackage.haskell.org/package/%{pkg_name}-%{version}/%{pkg_name}-%{version}.tar.gz
Source1: https://hackage.haskell.org/package/%{pkg_name}-%{version}/revision/1.cabal#/%{pkg_name}.cabal
BuildRequires: ghc-Cabal-devel
BuildRequires: ghc-base-devel
BuildRequires: ghc-base-prof
@@ -82,6 +83,7 @@ This package provides the Haskell %{pkg_name} profiling library.
%prep
%autosetup -n %{pkg_name}-%{version}
cp -p %{SOURCE1} %{pkg_name}.cabal
%build
%ghc_lib_build