Name: module-management
Version: 0.20.2.1
Synopsis: Clean up module imports, split and merge modules
Description: Clean up module imports, split and merge modules.
Homepage: https://github.com/seereason/module-management
License: BSD3
Author: David Fox
Maintainer: David Fox <dsf@seereason.com>
Category: Editor, Haskell, IDE, Development, Refactoring
Stability: experimental
Build-type: Simple
Cabal-version: >=1.9
Extra-Source-Files: changelog, scripts/CleanModules.hs, scripts/CLI/Cabal.hs, scripts/CLI/Cabal/Instances.hs, scripts/CLI/HaskelineTransAdapter.hs
Tests/Fold.hs, Tests/Imports.hs, Tests/Main.hs, Tests/Merge.hs, Tests/Split.hs Tests/SrcLoc.hs Tests/Symbols.hs
Extra-Source-Files:
testdata/Equal.hs
testdata/split6-expected/Text/Format.hs
testdata/split6-expected/IO.hs
testdata/split6-expected/Debian/Repo/Slice.hs
testdata/split6-expected/Debian/Repo/Types.hs
testdata/split6-expected/Debian/Repo/Package.hs
testdata/split6-expected/Debian/Repo/Orphans.hs
testdata/split6-expected/Debian/Repo/Types/Slice.hs
testdata/split6-expected/Debian/Repo/Types/Repo.hs
testdata/split6-expected/Debian/Repo/Types/EnvPath.hs
testdata/split6-expected/Debian/Repo/Types/AptBuildCache.hs
testdata/split6-expected/Debian/Repo/Types/AptCache.hs
testdata/split6-expected/Debian/Repo/Types/AptImage.hs
testdata/split6-expected/Debian/Repo/Types/PackageIndex.hs
testdata/split6-expected/Debian/Repo/Types/Repository.hs
testdata/split6-expected/Debian/Repo/Types/Release.hs
testdata/split6-expected/Debian/Repo/Sync.hs
testdata/split6-expected/Debian/Repo/AptCache.hs
testdata/split6-expected/Debian/Repo/Monads/Top.hs
testdata/split6-expected/Debian/Repo/Monads/Apt.hs
testdata/split6-expected/Debian/Repo/AptImage.hs
testdata/split6-expected/Debian/Repo/PackageIndex.hs
testdata/split6-expected/Debian/Repo/SourcesList.hs
testdata/split6-expected/Tmp/File.hs
testdata/imports4/Hiding.hs
testdata/imports5/Deriving.hs
testdata/merge6/B/D.hs
testdata/merge6/B/C.hs
testdata/merge6/Test.hs
testdata/merge6/A.hs
testdata/merge4/In2.hs
testdata/merge4/In1.hs
testdata/merge4/M1.hs
testdata/merge5/Apt/MonadApt.hs
testdata/merge5/Apt/AptState.hs
testdata/merge5/Apt/AptIO.hs
testdata/merge5/Apt/InitState.hs
testdata/merge5/Apt/Instances.hs
testdata/merge5/Apt/AptIOT.hs
testdata/merge5-expected/Apt.hs
testdata/merge1-expected/Text/Format.hs
testdata/merge1-expected/Debian/Repo/Slice.hs
testdata/merge1-expected/Debian/Repo/Types.hs
testdata/merge1-expected/Debian/Repo/Package.hs
testdata/merge1-expected/Debian/Repo/Orphans.hs
testdata/merge1-expected/Debian/Repo/Types/Slice.hs
testdata/merge1-expected/Debian/Repo/Types/Repo.hs
testdata/merge1-expected/Debian/Repo/Types/EnvPath.hs
testdata/merge1-expected/Debian/Repo/Types/AptBuildCache.hs
testdata/merge1-expected/Debian/Repo/Types/AptCache.hs
testdata/merge1-expected/Debian/Repo/Types/AptImage.hs
testdata/merge1-expected/Debian/Repo/Types/PackageIndex.hs
testdata/merge1-expected/Debian/Repo/Types/Repository.hs
testdata/merge1-expected/Debian/Repo/Types/Release.hs
testdata/merge1-expected/Debian/Repo/Cache.hs
testdata/merge1-expected/Debian/Repo/Sync.hs
testdata/merge1-expected/Debian/Repo/Monads/Top.hs
testdata/merge1-expected/Debian/Repo/Monads/Apt.hs
testdata/merge1-expected/Debian/Repo/PackageIndex.hs
testdata/merge1-expected/Debian/Repo/SourcesList.hs
testdata/merge1-expected/Tmp/File.hs
testdata/imports7-expected/CLI.hs
testdata/merge3-expected/Text/Format.hs
testdata/merge3-expected/Debian/Repo/Slice.hs
testdata/merge3-expected/Debian/Repo/Types.hs
testdata/merge3-expected/Debian/Repo/Package.hs
testdata/merge3-expected/Debian/Repo/Orphans.hs
testdata/merge3-expected/Debian/Repo/Types/Slice.hs
testdata/merge3-expected/Debian/Repo/Types/AptBuildCache.hs
testdata/merge3-expected/Debian/Repo/Types/AptCache.hs
testdata/merge3-expected/Debian/Repo/Types/AptImage.hs
testdata/merge3-expected/Debian/Repo/Types/PackageIndex.hs
testdata/merge3-expected/Debian/Repo/Types/Repository.hs
testdata/merge3-expected/Debian/Repo/Types/Release.hs
testdata/merge3-expected/Debian/Repo/Sync.hs
testdata/merge3-expected/Debian/Repo/AptCache.hs
testdata/merge3-expected/Debian/Repo/Monads/Top.hs
testdata/merge3-expected/Debian/Repo/Monads/Apt.hs
testdata/merge3-expected/Debian/Repo/AptImage.hs
testdata/merge3-expected/Debian/Repo/PackageIndex.hs
testdata/merge3-expected/Debian/Repo/SourcesList.hs
testdata/merge3-expected/Tmp/File.hs
testdata/fold5.hs
testdata/split4c-expected/Split4.hs
testdata/split4c-expected/Split4/A.hs
testdata/merge6-expected/B/D.hs
testdata/merge6-expected/Test.hs
testdata/merge6-expected/A.hs
testdata/imports3/NotMain.hs
testdata/debian/Debian/VersionPolicy.hs
testdata/debian/Debian/Repo/Prelude.hs
testdata/debian/Debian/Repo/Slice.hs
testdata/debian/Debian/Repo/Package.hs
testdata/debian/Debian/Repo/Repo.hs
testdata/debian/Debian/Repo/Changes.hs
testdata/debian/Debian/Repo/MonadOS.hs
testdata/debian/Debian/Repo/OSImage.hs
testdata/debian/Debian/Repo/Prelude/Bool.hs
testdata/debian/Debian/Repo/Prelude/List.hs
testdata/debian/Debian/Repo/Prelude/Process.hs
testdata/debian/Debian/Repo/Prelude/Time.hs
testdata/debian/Debian/Repo/Prelude/Verbosity.hs
testdata/debian/Debian/Repo/Prelude/Misc.hs
testdata/debian/Debian/Repo/Prelude/GPGSign.hs
testdata/debian/Debian/Repo/Prelude/Files.hs
testdata/debian/Debian/Repo/Prelude/SSH.hs
testdata/debian/Debian/Repo/Prelude/Lock.hs
testdata/debian/Debian/Repo/Prelude/Chroot.hs
testdata/debian/Debian/Repo/EnvPath.hs
testdata/debian/Debian/Repo/Top.hs
testdata/debian/Debian/Repo/SourceTree.hs
testdata/debian/Debian/Repo/Dependencies.hs
testdata/debian/Debian/Repo/RemoteRepository.hs
testdata/debian/Debian/Repo/AptImage.hs
testdata/debian/Debian/Repo/Fingerprint.hs
testdata/debian/Debian/Repo/State/Slice.hs
testdata/debian/Debian/Repo/State/Package.hs
testdata/debian/Debian/Repo/State/OSImage.hs
testdata/debian/Debian/Repo/State/AptImage.hs
testdata/debian/Debian/Repo/State/PackageIndex.hs
testdata/debian/Debian/Repo/State/Repository.hs
testdata/debian/Debian/Repo/State/Release.hs
testdata/debian/Debian/Repo/PackageIndex.hs
testdata/debian/Debian/Repo/PackageID.hs
testdata/debian/Debian/Repo/Internal/Repos.hs
testdata/debian/Debian/Repo/Internal/IO.hs
testdata/debian/Debian/Repo/Internal/Apt.hs
testdata/debian/Debian/Repo/LocalRepository.hs
testdata/debian/Debian/Repo/Release.hs
testdata/debian/Debian/Repo.hs
testdata/debian/Debian/NewDist/Version.hs
testdata/debian/Debian/NewDist/Config.hs
testdata/debian/Debian/NewDist/Options.hs
testdata/debian/Debian/NewDist/Main.hs
testdata/split-expected/Data/Logic/Types/FirstOrderPublic.hs
testdata/split-expected/Data/Logic/Types/Propositional.hs
testdata/split-expected/Data/Logic/Types/Harrison/FOL.hs
testdata/split-expected/Data/Logic/Types/Harrison/Equal.hs
testdata/split-expected/Data/Logic/Types/Harrison/Prop.hs
testdata/split-expected/Data/Logic/Types/Harrison/Formulas/Propositional.hs
testdata/split-expected/Data/Logic/Types/Harrison/Formulas/FirstOrder.hs
testdata/split-expected/Data/Logic/Types/FirstOrder.hs
testdata/split-expected/Data/Logic/Types/Common.hs
testdata/split-expected/Data/Logic/Failing.hs
testdata/split-expected/Data/Logic/Resolution.hs
testdata/split-expected/Data/Logic/Harrison/FOL.hs
testdata/split-expected/Data/Logic/Harrison/Equal.hs
testdata/split-expected/Data/Logic/Harrison/Herbrand.hs
testdata/split-expected/Data/Logic/Harrison/Meson.hs
testdata/split-expected/Data/Logic/Harrison/Normal.hs
testdata/split-expected/Data/Logic/Harrison/Tableaux.hs
testdata/split-expected/Data/Logic/Harrison/DP.hs
testdata/split-expected/Data/Logic/Harrison/Skolem.hs
testdata/split-expected/Data/Logic/Harrison/Resolution.hs
testdata/split-expected/Data/Logic/Harrison/Prolog.hs
testdata/split-expected/Data/Logic/Harrison/PropExamples.hs
testdata/split-expected/Data/Logic/Harrison/Lib.hs
testdata/split-expected/Data/Logic/Harrison/Prop.hs
testdata/split-expected/Data/Logic/Harrison/DefCNF.hs
testdata/split-expected/Data/Logic/Harrison/Formulas/Propositional.hs
testdata/split-expected/Data/Logic/Harrison/Formulas/FirstOrder.hs
testdata/split-expected/Data/Logic/Harrison/LICENSE.txt
testdata/split-expected/Data/Logic/Harrison/Unif.hs
testdata/split-expected/Data/Logic/Satisfiable.hs
testdata/split-expected/Data/Logic/Classes/Atom.hs
testdata/split-expected/Data/Logic/Classes/Term.hs
testdata/split-expected/Data/Logic/Classes/Variable.hs
testdata/split-expected/Data/Logic/Classes/Literal/ToPropositional.hs
testdata/split-expected/Data/Logic/Classes/Literal/PrettyLit.hs
testdata/split-expected/Data/Logic/Classes/Literal/FromLiteral.hs
testdata/split-expected/Data/Logic/Classes/Literal/FoldAtomsLiteral.hs
testdata/split-expected/Data/Logic/Classes/Literal/ZipLiterals.hs
testdata/split-expected/Data/Logic/Classes/Literal/Literal.hs
testdata/split-expected/Data/Logic/Classes/Literal/FromFirstOrder.hs
testdata/split-expected/Data/Logic/Classes/Literal/Internal/FixityLiteral.hs
testdata/split-expected/Data/Logic/Classes/Pretty.hs
testdata/split-expected/Data/Logic/Classes/Combine.hs
testdata/split-expected/Data/Logic/Classes/ClauseNormalForm.hs
testdata/split-expected/Data/Logic/Classes/Skolem.hs
testdata/split-expected/Data/Logic/Classes/Propositional.hs
testdata/split-expected/Data/Logic/Classes/Formula.hs
testdata/split-expected/Data/Logic/Classes/Negate.hs
testdata/split-expected/Data/Logic/Classes/Apply.hs
testdata/split-expected/Data/Logic/Classes/FirstOrder.hs
testdata/split-expected/Data/Logic/Classes/Arity.hs
testdata/split-expected/Data/Logic/Classes/Equals.hs
testdata/split-expected/Data/Logic/Classes/Constants.hs
testdata/split-expected/Data/Logic/KnowledgeBase.hs
testdata/split-expected/Data/Logic/Instances/PropLogic.hs
testdata/split-expected/Data/Logic/Instances/Chiou.hs
testdata/split-expected/Data/Logic/Instances/SatSolver.hs
testdata/split-expected/Data/Logic/Normal/Clause.hs
testdata/split-expected/Data/Logic/Normal/Implicative.hs
testdata/split-expected/Data/Boolean.hs
testdata/split-expected/Data/Boolean/SatSolver.hs
testdata/split2-clean-expected/Split/OtherSymbols.hs
testdata/split2-clean-expected/Split/Clean.hs
testdata/split2-clean-expected/Split/Instances.hs
testdata/split2-clean-expected/Split/ReExported.hs
testdata/split2-clean-expected/Split/Foo.hs
testdata/split2-clean-expected/Split/Internal/Bar.hs
testdata/split2-clean-expected/Split/Internal/Unexp.hs
testdata/split2-clean-expected/URL.hs
testdata/split5/D.hs
testdata/split5/C.hs
testdata/split5/E.hs
testdata/split5/B.hs
testdata/split5/A.hs
testdata/split-merge-expected/Data/Logic/Types/FirstOrderPublic.hs
testdata/split-merge-expected/Data/Logic/Types/Propositional.hs
testdata/split-merge-expected/Data/Logic/Types/Harrison/FOL.hs
testdata/split-merge-expected/Data/Logic/Types/Harrison/Equal.hs
testdata/split-merge-expected/Data/Logic/Types/Harrison/Prop.hs
testdata/split-merge-expected/Data/Logic/Types/Harrison/Formulas/Propositional.hs
testdata/split-merge-expected/Data/Logic/Types/Harrison/Formulas/FirstOrder.hs
testdata/split-merge-expected/Data/Logic/Types/FirstOrder.hs
testdata/split-merge-expected/Data/Logic/Types/Common.hs
testdata/split-merge-expected/Data/Logic/Failing.hs
testdata/split-merge-expected/Data/Logic/Resolution.hs
testdata/split-merge-expected/Data/Logic/Harrison/FOL.hs
testdata/split-merge-expected/Data/Logic/Harrison/Equal.hs
testdata/split-merge-expected/Data/Logic/Harrison/Herbrand.hs
testdata/split-merge-expected/Data/Logic/Harrison/Meson.hs
testdata/split-merge-expected/Data/Logic/Harrison/Normal.hs
testdata/split-merge-expected/Data/Logic/Harrison/Tableaux.hs
testdata/split-merge-expected/Data/Logic/Harrison/DP.hs
testdata/split-merge-expected/Data/Logic/Harrison/Skolem.hs
testdata/split-merge-expected/Data/Logic/Harrison/Resolution.hs
testdata/split-merge-expected/Data/Logic/Harrison/Prolog.hs
testdata/split-merge-expected/Data/Logic/Harrison/PropExamples.hs
testdata/split-merge-expected/Data/Logic/Harrison/Lib.hs
testdata/split-merge-expected/Data/Logic/Harrison/Prop.hs
testdata/split-merge-expected/Data/Logic/Harrison/DefCNF.hs
testdata/split-merge-expected/Data/Logic/Harrison/Formulas/Propositional.hs
testdata/split-merge-expected/Data/Logic/Harrison/Formulas/FirstOrder.hs
testdata/split-merge-expected/Data/Logic/Harrison/LICENSE.txt
testdata/split-merge-expected/Data/Logic/Harrison/Unif.hs
testdata/split-merge-expected/Data/Logic/Satisfiable.hs
testdata/split-merge-expected/Data/Logic/Classes/Atom.hs
testdata/split-merge-expected/Data/Logic/Classes/Term.hs
testdata/split-merge-expected/Data/Logic/Classes/Variable.hs
testdata/split-merge-expected/Data/Logic/Classes/Literal/ToPropositional.hs
testdata/split-merge-expected/Data/Logic/Classes/Literal/PrettyLit.hs
testdata/split-merge-expected/Data/Logic/Classes/Literal/FoldAtomsLiteral.hs
testdata/split-merge-expected/Data/Logic/Classes/Literal/ZipLiterals.hs
testdata/split-merge-expected/Data/Logic/Classes/Literal/Literal.hs
testdata/split-merge-expected/Data/Logic/Classes/Literal/Internal/FixityLiteral.hs
testdata/split-merge-expected/Data/Logic/Classes/Pretty.hs
testdata/split-merge-expected/Data/Logic/Classes/Combine.hs
testdata/split-merge-expected/Data/Logic/Classes/ClauseNormalForm.hs
testdata/split-merge-expected/Data/Logic/Classes/Skolem.hs
testdata/split-merge-expected/Data/Logic/Classes/Propositional.hs
testdata/split-merge-expected/Data/Logic/Classes/Formula.hs
testdata/split-merge-expected/Data/Logic/Classes/Negate.hs
testdata/split-merge-expected/Data/Logic/Classes/Apply.hs
testdata/split-merge-expected/Data/Logic/Classes/FirstOrder.hs
testdata/split-merge-expected/Data/Logic/Classes/Arity.hs
testdata/split-merge-expected/Data/Logic/Classes/Equals.hs
testdata/split-merge-expected/Data/Logic/Classes/Constants.hs
testdata/split-merge-expected/Data/Logic/KnowledgeBase.hs
testdata/split-merge-expected/Data/Logic/Instances/PropLogic.hs
testdata/split-merge-expected/Data/Logic/Instances/Chiou.hs
testdata/split-merge-expected/Data/Logic/Instances/SatSolver.hs
testdata/split-merge-expected/Data/Logic/Normal/Clause.hs
testdata/split-merge-expected/Data/Logic/Normal/Implicative.hs
testdata/split-merge-expected/Data/Boolean.hs
testdata/split-merge-expected/Data/Boolean/SatSolver.hs
testdata/Fold7.hs
testdata/Text/Format.hs
testdata/merge2-expected/Text/Format.hs
testdata/merge2-expected/Debian/Repo/Slice.hs
testdata/merge2-expected/Debian/Repo/Types.hs
testdata/merge2-expected/Debian/Repo/Package.hs
testdata/merge2-expected/Debian/Repo/Orphans.hs
testdata/merge2-expected/Debian/Repo/Types/AptBuildCache.hs
testdata/merge2-expected/Debian/Repo/Types/AptCache.hs
testdata/merge2-expected/Debian/Repo/Types/AptImage.hs
testdata/merge2-expected/Debian/Repo/Types/PackageIndex.hs
testdata/merge2-expected/Debian/Repo/Types/Repository.hs
testdata/merge2-expected/Debian/Repo/Types/Common.hs
testdata/merge2-expected/Debian/Repo/Types/Release.hs
testdata/merge2-expected/Debian/Repo/Sync.hs
testdata/merge2-expected/Debian/Repo/AptCache.hs
testdata/merge2-expected/Debian/Repo/Monads/Top.hs
testdata/merge2-expected/Debian/Repo/Monads/Apt.hs
testdata/merge2-expected/Debian/Repo/AptImage.hs
testdata/merge2-expected/Debian/Repo/PackageIndex.hs
testdata/merge2-expected/Debian/Repo/SourcesList.hs
testdata/merge2-expected/Tmp/File.hs
testdata/split4b-expected/Split4/B.hs
testdata/split4b-expected/Split4/A.hs
testdata/split-merge-merge-expected/Data/Logic/Types/FirstOrderPublic.hs
testdata/split-merge-merge-expected/Data/Logic/Types/Propositional.hs
testdata/split-merge-merge-expected/Data/Logic/Types/Harrison/FOL.hs
testdata/split-merge-merge-expected/Data/Logic/Types/Harrison/Equal.hs
testdata/split-merge-merge-expected/Data/Logic/Types/Harrison/Prop.hs
testdata/split-merge-merge-expected/Data/Logic/Types/Harrison/Formulas/Propositional.hs
testdata/split-merge-merge-expected/Data/Logic/Types/Harrison/Formulas/FirstOrder.hs
testdata/split-merge-merge-expected/Data/Logic/Types/FirstOrder.hs
testdata/split-merge-merge-expected/Data/Logic/Types/Common.hs
testdata/split-merge-merge-expected/Data/Logic/Failing.hs
testdata/split-merge-merge-expected/Data/Logic/Resolution.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/FOL.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/Equal.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/Herbrand.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/Meson.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/Normal.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/Tableaux.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/DP.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/Skolem.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/Resolution.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/Prolog.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/PropExamples.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/Lib.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/Prop.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/DefCNF.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/Formulas/Propositional.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/Formulas/FirstOrder.hs
testdata/split-merge-merge-expected/Data/Logic/Harrison/LICENSE.txt
testdata/split-merge-merge-expected/Data/Logic/Harrison/Unif.hs
testdata/split-merge-merge-expected/Data/Logic/Satisfiable.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Atom.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Term.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Variable.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Pretty.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Combine.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/ClauseNormalForm.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Skolem.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Propositional.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Formula.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Negate.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Apply.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Literal.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/FirstOrder.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Arity.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Equals.hs
testdata/split-merge-merge-expected/Data/Logic/Classes/Constants.hs
testdata/split-merge-merge-expected/Data/Logic/KnowledgeBase.hs
testdata/split-merge-merge-expected/Data/Logic/Instances/PropLogic.hs
testdata/split-merge-merge-expected/Data/Logic/Instances/Chiou.hs
testdata/split-merge-merge-expected/Data/Logic/Instances/SatSolver.hs
testdata/split-merge-merge-expected/Data/Logic/Normal/Clause.hs
testdata/split-merge-merge-expected/Data/Logic/Normal/Implicative.hs
testdata/split-merge-merge-expected/Data/Boolean.hs
testdata/split-merge-merge-expected/Data/Boolean/SatSolver.hs
testdata/fold9.hs
testdata/logic/Data/Logic/Types/FirstOrderPublic.hs
testdata/logic/Data/Logic/Types/Propositional.hs
testdata/logic/Data/Logic/Types/Harrison/FOL.hs
testdata/logic/Data/Logic/Types/Harrison/Equal.hs
testdata/logic/Data/Logic/Types/Harrison/Prop.hs
testdata/logic/Data/Logic/Types/Harrison/Formulas/Propositional.hs
testdata/logic/Data/Logic/Types/Harrison/Formulas/FirstOrder.hs
testdata/logic/Data/Logic/Types/FirstOrder.hs
testdata/logic/Data/Logic/Types/Common.hs
testdata/logic/Data/Logic/Failing.hs
testdata/logic/Data/Logic/Resolution.hs
testdata/logic/Data/Logic/Harrison/FOL.hs
testdata/logic/Data/Logic/Harrison/Equal.hs
testdata/logic/Data/Logic/Harrison/Herbrand.hs
testdata/logic/Data/Logic/Harrison/Meson.hs
testdata/logic/Data/Logic/Harrison/Normal.hs
testdata/logic/Data/Logic/Harrison/Tableaux.hs
testdata/logic/Data/Logic/Harrison/DP.hs
testdata/logic/Data/Logic/Harrison/Skolem.hs
testdata/logic/Data/Logic/Harrison/Resolution.hs
testdata/logic/Data/Logic/Harrison/Prolog.hs
testdata/logic/Data/Logic/Harrison/PropExamples.hs
testdata/logic/Data/Logic/Harrison/Lib.hs
testdata/logic/Data/Logic/Harrison/Prop.hs
testdata/logic/Data/Logic/Harrison/DefCNF.hs
testdata/logic/Data/Logic/Harrison/Formulas/Propositional.hs
testdata/logic/Data/Logic/Harrison/Formulas/FirstOrder.hs
testdata/logic/Data/Logic/Harrison/LICENSE.txt
testdata/logic/Data/Logic/Harrison/Unif.hs
testdata/logic/Data/Logic/Satisfiable.hs
testdata/logic/Data/Logic/Classes/Atom.hs
testdata/logic/Data/Logic/Classes/Term.hs
testdata/logic/Data/Logic/Classes/Variable.hs
testdata/logic/Data/Logic/Classes/Pretty.hs
testdata/logic/Data/Logic/Classes/Combine.hs
testdata/logic/Data/Logic/Classes/ClauseNormalForm.hs
testdata/logic/Data/Logic/Classes/Skolem.hs
testdata/logic/Data/Logic/Classes/Propositional.hs
testdata/logic/Data/Logic/Classes/Formula.hs
testdata/logic/Data/Logic/Classes/Negate.hs
testdata/logic/Data/Logic/Classes/Apply.hs
testdata/logic/Data/Logic/Classes/Literal.hs
testdata/logic/Data/Logic/Classes/FirstOrder.hs
testdata/logic/Data/Logic/Classes/Arity.hs
testdata/logic/Data/Logic/Classes/Equals.hs
testdata/logic/Data/Logic/Classes/Constants.hs
testdata/logic/Data/Logic/KnowledgeBase.hs
testdata/logic/Data/Logic/Instances/PropLogic.hs
testdata/logic/Data/Logic/Instances/Chiou.hs
testdata/logic/Data/Logic/Instances/SatSolver.hs
testdata/logic/Data/Logic/Normal/Clause.hs
testdata/logic/Data/Logic/Normal/Implicative.hs
testdata/logic/Data/Boolean.hs
testdata/logic/Data/Boolean/SatSolver.hs
testdata/imports6-expected/EndComment.hs
testdata/split4-expected/Split4/BinaryPackagesOfIndex.hs
testdata/split4-expected/Split4/SourcePackagesOfIndex.hs
testdata/split4-expected/Split4/GetPackages.hs
testdata/split1-expected/Text/Format.hs
testdata/split1-expected/Debian/Repo/Slice.hs
testdata/split1-expected/Debian/Repo/Types.hs
testdata/split1-expected/Debian/Repo/Orphans.hs
testdata/split1-expected/Debian/Repo/Types/Slice.hs
testdata/split1-expected/Debian/Repo/Types/Repo.hs
testdata/split1-expected/Debian/Repo/Types/EnvPath.hs
testdata/split1-expected/Debian/Repo/Types/AptBuildCache.hs
testdata/split1-expected/Debian/Repo/Types/AptCache.hs
testdata/split1-expected/Debian/Repo/Types/AptImage.hs
testdata/split1-expected/Debian/Repo/Types/PackageIndex.hs
testdata/split1-expected/Debian/Repo/Types/Repository.hs
testdata/split1-expected/Debian/Repo/Types/Release.hs
testdata/split1-expected/Debian/Repo/Sync.hs
testdata/split1-expected/Debian/Repo/AptCache.hs
testdata/split1-expected/Debian/Repo/Package/BinarySourceVersion.hs
testdata/split1-expected/Debian/Repo/Package/SourceFilePaths.hs
testdata/split1-expected/Debian/Repo/Package/SourcePackageBinaryIDs.hs
testdata/split1-expected/Debian/Repo/Package/SourcePackageBinaryNames.hs
testdata/split1-expected/Debian/Repo/Package/SourceBinaryNames.hs
testdata/split1-expected/Debian/Repo/Package/BinaryPackagesOfCachedIndex.hs
testdata/split1-expected/Debian/Repo/Package/ReleaseSourcePackages.hs
testdata/split1-expected/Debian/Repo/Package/SourcePackagesOfCachedIndex.hs
testdata/split1-expected/Debian/Repo/Package/ToSourcePackage.hs
testdata/split1-expected/Debian/Repo/Package/ToBinaryPackage.hs
testdata/split1-expected/Debian/Repo/Package/ReleaseBinaryPackages.hs
testdata/split1-expected/Debian/Repo/Package/BinaryPackagesOfIndex.hs
testdata/split1-expected/Debian/Repo/Package/SourcePackagesOfIndex.hs
testdata/split1-expected/Debian/Repo/Package/ReExported.hs
testdata/split1-expected/Debian/Repo/Package/GetPackages.hs
testdata/split1-expected/Debian/Repo/Package/PutPackages.hs
testdata/split1-expected/Debian/Repo/Package/BinaryPackageSourceVersion.hs
testdata/split1-expected/Debian/Repo/Package/Internal/BinarySourceVersion.hs
testdata/split1-expected/Debian/Repo/Package/Internal/UseConstants.hs
testdata/split1-expected/Debian/Repo/Package/Internal/OtherSymbols.hs
testdata/split1-expected/Debian/Repo/Package/Internal/TryParseRel.hs
testdata/split1-expected/Debian/Repo/Package/Internal/IndexPrefix.hs
testdata/split1-expected/Debian/Repo/Package/Internal/ParseSourceParagraph.hs
testdata/split1-expected/Debian/Repo/Package/Internal/UriToString.hs
testdata/split1-expected/Debian/Repo/Package/Internal/Constants.hs
testdata/split1-expected/Debian/Repo/Package/Internal/IndexCacheFile.hs
testdata/split1-expected/Debian/Repo/Package/BinaryPackageSourceID.hs
testdata/split1-expected/Debian/Repo/Monads/Top.hs
testdata/split1-expected/Debian/Repo/Monads/Apt.hs
testdata/split1-expected/Debian/Repo/AptImage.hs
testdata/split1-expected/Debian/Repo/PackageIndex.hs
testdata/split1-expected/Debian/Repo/SourcesList.hs
testdata/split1-expected/Tmp/File.hs
testdata/fold3b/Main.hs
testdata/split4/Split4.hs
testdata/split2/URL.hs
testdata/split2/Split.hs
testdata/Tmp/File.hs
testdata/imports7/CLI.hs
testdata/merge4-expected/Out.hs
testdata/merge4-expected/M1.hs
testdata/imports6/EndComment.hs
testdata/split2-expected/Split/OtherSymbols.hs
testdata/split2-expected/Split/Clean.hs
testdata/split2-expected/Split/Instances.hs
testdata/split2-expected/Split/ReExported.hs
testdata/split2-expected/Split/Foo.hs
testdata/split2-expected/Split/Internal/Bar.hs
testdata/split2-expected/Split/Internal/Unexp.hs
testdata/split2-expected/URL.hs
testdata/split5-expected/D.hs
testdata/split5-expected/C.hs
testdata/split5-expected/E.hs
testdata/split5-expected/B/B.hs
testdata/split5-expected/B/A.hs
testdata/split5-expected/A.hs
Flag build-tests
Description: build the test executable
Default: True
Library
ghc-Options: -Wall -O2
Exposed-Modules:
Language.Haskell.Modules,
Language.Haskell.Modules.Common,
Language.Haskell.Modules.Fold,
Language.Haskell.Modules.Imports,
Language.Haskell.Modules.Merge,
Language.Haskell.Modules.ModuVerse,
Language.Haskell.Modules.Params,
Language.Haskell.Modules.SourceDirs,
Language.Haskell.Modules.Split,
Language.Haskell.Modules.Util.DryIO,
Language.Haskell.Modules.Util.QIO,
Language.Haskell.Modules.Util.SrcLoc,
Language.Haskell.Modules.Util.Symbols,
Language.Haskell.Modules.Util.Temp,
Language.Haskell.Modules.Util.Test
Build-Depends:
applicative-extras,
base >= 4 && < 5,
bytestring,
Cabal,
containers,
data-default,
directory,
filepath,
haskell-src-exts,
HUnit,
lifted-base,
monad-control,
mtl,
pretty,
process,
pureMD5,
set-extra >= 1.3.1,
syb,
system-fileio,
temporary
Executable hmm
Main-is: CLI.hs
Hs-source-dirs: scripts
Build-Depends:
base,
Cabal,
containers,
cmdargs,
directory,
haskeline,
lens,
module-management,
monad-control,
mtl,
set-extra,
transformers-base
-- In ghc-7.6.3, -O0 prevents one of two failures: either a GHC out
-- of memory error, or an out of simplifier ticks error:
-- ghc: panic! (the 'impossible' happened)
-- (GHC version 7.6.3 for x86_64-unknown-linux):
-- Simplifier ticks exhausted
-- When trying RuleFired Class op pure
-- To increase the limit, use -fsimpl-tick-factor=N (default 100)
-- If you need to do this, let GHC HQ know, and what factor you needed
-- To see detailed counts use -ddump-simpl-stats
-- Total ticks: 1186241
-- In 7.8.1 increasing the context stack size from 20 to 60 seems necessary.
ghc-options: -O0 -fcontext-stack=60
Test-Suite module-management-tests
Type: exitcode-stdio-1.0
Hs-Source-Dirs: Tests
Main-is: Main.hs
Build-Depends:
base,
containers,
filepath,
HUnit,
haskell-src-exts,
module-management,
process