Name: module-management Version: 0.20.4 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 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 <= 1.17, 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, haskell-src-exts, lens, module-management, monad-control, mtl, regex-compat, set-extra, template-haskell, 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=120 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 <= 1.17, module-management, process