-
Notifications
You must be signed in to change notification settings - Fork 11
/
Copy pathunification-fd.cabal
96 lines (87 loc) · 4.06 KB
/
unification-fd.cabal
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
Cabal-Version: 2.2
-- Cabal >=2.2 is required for:
-- <https://cabal.readthedocs.io/en/latest/cabal-package.html#common-stanzas>
-- Since 2.1, the Cabal-Version must be the absolutely first thing
-- in the file, even before comments. Also, no longer uses ">=".
-- <https://github.com/haskell/cabal/issues/4899>
----------------------------------------------------------------
-- wren gayle romano <[email protected]> ~ 2025-02-11
----------------------------------------------------------------
Name: unification-fd
Version: 0.12.0.2
Build-Type: Simple
Stability: experimental
Homepage: https://wrengr.org/software/hackage.html
Bug-Reports: https://github.com/wrengr/unification-fd/issues
Author: wren gayle romano
Maintainer: [email protected]
Copyright: 2007–2025 wren romano
-- Cabal-2.2 requires us to say "BSD-3-Clause" not "BSD3"
License: BSD-3-Clause
License-File: LICENSE
Category: Algebra, Algorithms, Compilers/Interpreters, Language, Logic, Unification
Synopsis: Simple generic unification algorithms.
Description:
Generic functions for single-sorted first-order structural
unification (think of programming in Prolog, or of the metavariables
in type inference).
Extra-source-files:
AUTHORS, README.md, CHANGELOG
-- Because of data-fix, we can no longer support GHC older than 8.6.1
-- <https://github.com/wrengr/unification-fd/actions?query=workflow%3Aci>
Tested-With:
GHC ==8.6.5,
GHC ==8.8.4,
GHC ==8.10.3,
GHC ==9.0.1,
GHC ==9.2.4,
GHC ==9.4.8,
GHC ==9.6.5,
GHC ==9.8.2,
GHC ==9.10.1,
GHC ==9.12.1
Source-Repository head
Type: git
Location: https://github.com/wrengr/unification-fd.git
----------------------------------------------------------------
Library
-- With Cabal-Version: >= 1.10, the Default-Language field is now required.
Default-Language: Haskell98
Hs-Source-Dirs: src
Exposed-Modules: Data.Functor.Fixedpoint
, Control.Monad.State.UnificationExtras
, Control.Monad.MaybeK
, Control.Monad.EitherK
, Control.Unification
, Control.Unification.Types
, Control.Unification.STVar
, Control.Unification.IntVar
, Control.Unification.Ranked
, Control.Unification.Ranked.STVar
, Control.Unification.Ranked.IntVar
-- TODO: Although most versions of mtl don't really care much
-- about the version of base, the latest version (mtl-2.3.1) is
-- exceptional in that they explicitly exclude base>=4.15&&<4.16.
-- We should look into why, just in case that affects us too.
--
-- To keep the core libs matching the Tested-With bounds above, see:
-- <https://gitlab.haskell.org/ghc/ghc/-/wikis/commentary/libraries/version-history>
Build-Depends: base >= 4.12 && < 4.22
, containers >= 0.6.0 && < 0.8
-- Require mtl-2 instead of monads-fd; because
-- otherwise we get a clash mixing logict with
-- StateT. And we want stuff from monads-fd, so
-- we can't just fail over to the older mtl.
--
-- NOTE: ghc>=8.4.1 ships with mtl>=2.2.2, so that's where
-- our lower bound comes from (but any mtl>=2.0 should work).
, mtl >= 2.2.2 && < 2.4
-- NOTE: logict-0.7.1 introduced breakage, but that
-- should be resolved now. Cf.,
-- <https://github.com/Bodigrim/logict/issues/20#issuecomment-774528439>
-- <https://github.com/wrengr/unification-fd/issues/14>
, logict >= 0.4 && < 0.8.3
-- FIXME: What all changed between 0.3.2 and 0.3.4? And why does my current GHC not want to try 0.3.4?
, data-fix >= 0.3.2 && < 0.4
----------------------------------------------------------------
----------------------------------------------------------- fin.