---------------------------------------------------------------- -- wren gayle romano ~ 2021.02.24 ---------------------------------------------------------------- -- Hackage requires us to require Cabal-Version >=1.10; otherwise -- things should be backwards compatible to >=1.2 (with the exception -- of the tested-with and source-repository fields which were added -- in >=1.6). Cabal-Version: >= 1.10 Build-Type: Simple Name: unification-fd Version: 0.11.1 Stability: experimental Homepage: https://wrengr.org/software/hackage.html Author: wren gayle romano Maintainer: winterkoninkje@gmail.com Copyright: Copyright (c) 2007--2021 wren gayle romano License: BSD3 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). -- No longer compiles with GHC-6.12.1 since Data.Monoid does not -- export (<>) in Control.Unification.Types. The backwards compatibility -- is not considered worth adding CPP noise... -- FIXME(2021.02.24): versions 7.x are no longer available on GitHub -- for CI (at least not on ubuntu-latest); so we should probably -- remove them from here -- FIXME(2021.02.24): version 9.0.1 is not yet cached on GitHub for CI either. Tested-With: GHC == 7.4.2, GHC == 7.6.3, GHC == 7.8.4, GHC == 7.10.3, GHC == 8.0.2, GHC == 8.2.2, GHC == 8.4.4, GHC == 8.6.5, GHC == 8.8.4, GHC == 8.10.3, GHC == 9.0.1 Extra-source-files: AUTHORS, README.md, CHANGELOG Source-Repository head Type: git Location: https://github.com/wrengr/unification-fd ---------------------------------------------------------------- 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 -- N.B., logict 0.7.1 introduced breakage, but that -- should be resolved now. Cf., -- -- Build-Depends: logict >= 0.4 && < 0.7.2 -- N.B., Tasty requires base>=4.5.0.0; which -- means we aren't CI testing anything older than -- that anymore, so we might as well just require -- that version so we can remove the ancient base4 -- and splitBase build flags. , base >= 4.5 && < 5 , containers -- 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. , mtl >= 2.0 ---------------------------------------------------------------- ----------------------------------------------------------- fin.