├── .dockerignore ├── .envrc ├── .github ├── CODEOWNERS ├── ISSUE_TEMPLATE │ ├── bug_report.md │ └── feature_request.md ├── PULL_REQUEST_TEMPLATE │ └── pull_request_template.md └── workflows │ └── build-test-deploy.yml ├── .gitignore ├── CONTRIBUTING.md ├── DesignNotes.md ├── Dockerfile ├── LICENSE ├── PropR.cabal ├── README.md ├── cabal.project ├── check-helpers ├── Check │ └── Helpers.hs ├── LICENSE └── check-helpers.cabal ├── docker-compose.yaml ├── entrypoint.sh ├── examples ├── BrokenGCD.hs ├── BrokenModule.hs ├── FourFixes.hs ├── MagicConstant.hs ├── ThreeFixes.hs └── TwoFixes.hs ├── hie.yaml ├── resources ├── big_sample_config.json ├── docker_config.json ├── exhaustive_search_config.json ├── random_search_config.json ├── sample_config.json └── test_config.json ├── shell.nix ├── src ├── Main.hs ├── PropR.hs └── PropR │ ├── Check.hs │ ├── Configuration.hs │ ├── Configuration │ ├── Configure.hs │ ├── Materializeable.hs │ └── Types.hs │ ├── Diff.hs │ ├── Eval.hs │ ├── Packages.hs │ ├── Plugin.hs │ ├── Repair.hs │ ├── Search.hs │ ├── Search │ ├── Class.hs │ ├── Exhaustive.hs │ ├── Exhaustive │ │ ├── Configuration.hs │ │ └── Search.hs │ ├── Genetic.hs │ ├── Genetic │ │ ├── Configuration.hs │ │ ├── GenMonad.hs │ │ ├── Search.hs │ │ ├── Types.hs │ │ └── Utils.hs │ ├── PseudoGenetic.hs │ ├── PseudoGenetic │ │ ├── Configuration.hs │ │ └── Search.hs │ ├── Random.hs │ └── Random │ │ ├── Configuration.hs │ │ └── Search.hs │ ├── Traversals.hs │ ├── Types.hs │ └── Util.hs └── tests ├── Benchmarks.hs ├── SlowTests.hs ├── TestUtils.hs ├── Tests.hs └── cases ├── AllPropsPass.hs ├── AmbiguousTypeVariables.hs ├── BrokenGCD.hs ├── BrokenModule.hs ├── Data.hs ├── DefaultingFixes.hs ├── Dependency.hs ├── DoubleDecl.hs ├── ExprWhere.hs ├── FourFixes.hs ├── Issue87.hs ├── Issue88.hs ├── LoopBreaker.hs ├── MagicConstant.hs ├── Multi.hs ├── NoProps.hs ├── Operators.hs ├── PrelOverwriteExports.hs ├── PreludeOverwrite.hs ├── PreludeOverwriteImports.hs ├── SimpleRefinement.hs ├── TastyFix.hs ├── TastyMix.hs ├── TastyTwoFix.hs ├── ThreeFixes.hs ├── TwoFixes.hs ├── UsesDependency.hs ├── Wrap.hs ├── mainMod.hs ├── packages └── TestPackage │ ├── LICENSE │ ├── TestPackage.cabal │ ├── cabal.project │ ├── src │ ├── Main.hs │ └── Test │ │ └── Package.hs │ └── tests │ └── Tests.hs └── unnamed.hs /.dockerignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/.dockerignore -------------------------------------------------------------------------------- /.envrc: -------------------------------------------------------------------------------- 1 | export PATH="$(dirname -- $(cabal list-bin propr)):$PATH" 2 | -------------------------------------------------------------------------------- /.github/CODEOWNERS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/.github/CODEOWNERS -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/bug_report.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/.github/ISSUE_TEMPLATE/bug_report.md -------------------------------------------------------------------------------- /.github/ISSUE_TEMPLATE/feature_request.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/.github/ISSUE_TEMPLATE/feature_request.md -------------------------------------------------------------------------------- /.github/PULL_REQUEST_TEMPLATE/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/.github/PULL_REQUEST_TEMPLATE/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/build-test-deploy.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/.github/workflows/build-test-deploy.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/.gitignore -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /DesignNotes.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/DesignNotes.md -------------------------------------------------------------------------------- /Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/Dockerfile -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/LICENSE -------------------------------------------------------------------------------- /PropR.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/PropR.cabal -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/README.md -------------------------------------------------------------------------------- /cabal.project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/cabal.project -------------------------------------------------------------------------------- /check-helpers/Check/Helpers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/check-helpers/Check/Helpers.hs -------------------------------------------------------------------------------- /check-helpers/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/check-helpers/LICENSE -------------------------------------------------------------------------------- /check-helpers/check-helpers.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/check-helpers/check-helpers.cabal -------------------------------------------------------------------------------- /docker-compose.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/docker-compose.yaml -------------------------------------------------------------------------------- /entrypoint.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/entrypoint.sh -------------------------------------------------------------------------------- /examples/BrokenGCD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/examples/BrokenGCD.hs -------------------------------------------------------------------------------- /examples/BrokenModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/examples/BrokenModule.hs -------------------------------------------------------------------------------- /examples/FourFixes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/examples/FourFixes.hs -------------------------------------------------------------------------------- /examples/MagicConstant.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/examples/MagicConstant.hs -------------------------------------------------------------------------------- /examples/ThreeFixes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/examples/ThreeFixes.hs -------------------------------------------------------------------------------- /examples/TwoFixes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/examples/TwoFixes.hs -------------------------------------------------------------------------------- /hie.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/hie.yaml -------------------------------------------------------------------------------- /resources/big_sample_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/resources/big_sample_config.json -------------------------------------------------------------------------------- /resources/docker_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/resources/docker_config.json -------------------------------------------------------------------------------- /resources/exhaustive_search_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/resources/exhaustive_search_config.json -------------------------------------------------------------------------------- /resources/random_search_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/resources/random_search_config.json -------------------------------------------------------------------------------- /resources/sample_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/resources/sample_config.json -------------------------------------------------------------------------------- /resources/test_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/resources/test_config.json -------------------------------------------------------------------------------- /shell.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/shell.nix -------------------------------------------------------------------------------- /src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/Main.hs -------------------------------------------------------------------------------- /src/PropR.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR.hs -------------------------------------------------------------------------------- /src/PropR/Check.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Check.hs -------------------------------------------------------------------------------- /src/PropR/Configuration.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Configuration.hs -------------------------------------------------------------------------------- /src/PropR/Configuration/Configure.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Configuration/Configure.hs -------------------------------------------------------------------------------- /src/PropR/Configuration/Materializeable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Configuration/Materializeable.hs -------------------------------------------------------------------------------- /src/PropR/Configuration/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Configuration/Types.hs -------------------------------------------------------------------------------- /src/PropR/Diff.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Diff.hs -------------------------------------------------------------------------------- /src/PropR/Eval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Eval.hs -------------------------------------------------------------------------------- /src/PropR/Packages.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Packages.hs -------------------------------------------------------------------------------- /src/PropR/Plugin.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Plugin.hs -------------------------------------------------------------------------------- /src/PropR/Repair.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Repair.hs -------------------------------------------------------------------------------- /src/PropR/Search.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search.hs -------------------------------------------------------------------------------- /src/PropR/Search/Class.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Class.hs -------------------------------------------------------------------------------- /src/PropR/Search/Exhaustive.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Exhaustive.hs -------------------------------------------------------------------------------- /src/PropR/Search/Exhaustive/Configuration.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Exhaustive/Configuration.hs -------------------------------------------------------------------------------- /src/PropR/Search/Exhaustive/Search.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Exhaustive/Search.hs -------------------------------------------------------------------------------- /src/PropR/Search/Genetic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Genetic.hs -------------------------------------------------------------------------------- /src/PropR/Search/Genetic/Configuration.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Genetic/Configuration.hs -------------------------------------------------------------------------------- /src/PropR/Search/Genetic/GenMonad.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Genetic/GenMonad.hs -------------------------------------------------------------------------------- /src/PropR/Search/Genetic/Search.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Genetic/Search.hs -------------------------------------------------------------------------------- /src/PropR/Search/Genetic/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Genetic/Types.hs -------------------------------------------------------------------------------- /src/PropR/Search/Genetic/Utils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Genetic/Utils.hs -------------------------------------------------------------------------------- /src/PropR/Search/PseudoGenetic.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/PseudoGenetic.hs -------------------------------------------------------------------------------- /src/PropR/Search/PseudoGenetic/Configuration.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/PseudoGenetic/Configuration.hs -------------------------------------------------------------------------------- /src/PropR/Search/PseudoGenetic/Search.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/PseudoGenetic/Search.hs -------------------------------------------------------------------------------- /src/PropR/Search/Random.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Random.hs -------------------------------------------------------------------------------- /src/PropR/Search/Random/Configuration.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Random/Configuration.hs -------------------------------------------------------------------------------- /src/PropR/Search/Random/Search.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Search/Random/Search.hs -------------------------------------------------------------------------------- /src/PropR/Traversals.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Traversals.hs -------------------------------------------------------------------------------- /src/PropR/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Types.hs -------------------------------------------------------------------------------- /src/PropR/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/src/PropR/Util.hs -------------------------------------------------------------------------------- /tests/Benchmarks.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/Benchmarks.hs -------------------------------------------------------------------------------- /tests/SlowTests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/SlowTests.hs -------------------------------------------------------------------------------- /tests/TestUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/TestUtils.hs -------------------------------------------------------------------------------- /tests/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/Tests.hs -------------------------------------------------------------------------------- /tests/cases/AllPropsPass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/AllPropsPass.hs -------------------------------------------------------------------------------- /tests/cases/AmbiguousTypeVariables.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/AmbiguousTypeVariables.hs -------------------------------------------------------------------------------- /tests/cases/BrokenGCD.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/BrokenGCD.hs -------------------------------------------------------------------------------- /tests/cases/BrokenModule.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/BrokenModule.hs -------------------------------------------------------------------------------- /tests/cases/Data.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/Data.hs -------------------------------------------------------------------------------- /tests/cases/DefaultingFixes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/DefaultingFixes.hs -------------------------------------------------------------------------------- /tests/cases/Dependency.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/Dependency.hs -------------------------------------------------------------------------------- /tests/cases/DoubleDecl.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/DoubleDecl.hs -------------------------------------------------------------------------------- /tests/cases/ExprWhere.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/ExprWhere.hs -------------------------------------------------------------------------------- /tests/cases/FourFixes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/FourFixes.hs -------------------------------------------------------------------------------- /tests/cases/Issue87.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/Issue87.hs -------------------------------------------------------------------------------- /tests/cases/Issue88.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/Issue88.hs -------------------------------------------------------------------------------- /tests/cases/LoopBreaker.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/LoopBreaker.hs -------------------------------------------------------------------------------- /tests/cases/MagicConstant.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/MagicConstant.hs -------------------------------------------------------------------------------- /tests/cases/Multi.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/Multi.hs -------------------------------------------------------------------------------- /tests/cases/NoProps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/NoProps.hs -------------------------------------------------------------------------------- /tests/cases/Operators.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/Operators.hs -------------------------------------------------------------------------------- /tests/cases/PrelOverwriteExports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/PrelOverwriteExports.hs -------------------------------------------------------------------------------- /tests/cases/PreludeOverwrite.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/PreludeOverwrite.hs -------------------------------------------------------------------------------- /tests/cases/PreludeOverwriteImports.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/PreludeOverwriteImports.hs -------------------------------------------------------------------------------- /tests/cases/SimpleRefinement.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/SimpleRefinement.hs -------------------------------------------------------------------------------- /tests/cases/TastyFix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/TastyFix.hs -------------------------------------------------------------------------------- /tests/cases/TastyMix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/TastyMix.hs -------------------------------------------------------------------------------- /tests/cases/TastyTwoFix.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/TastyTwoFix.hs -------------------------------------------------------------------------------- /tests/cases/ThreeFixes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/ThreeFixes.hs -------------------------------------------------------------------------------- /tests/cases/TwoFixes.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/TwoFixes.hs -------------------------------------------------------------------------------- /tests/cases/UsesDependency.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/UsesDependency.hs -------------------------------------------------------------------------------- /tests/cases/Wrap.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/Wrap.hs -------------------------------------------------------------------------------- /tests/cases/mainMod.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/mainMod.hs -------------------------------------------------------------------------------- /tests/cases/packages/TestPackage/LICENSE: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /tests/cases/packages/TestPackage/TestPackage.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/packages/TestPackage/TestPackage.cabal -------------------------------------------------------------------------------- /tests/cases/packages/TestPackage/cabal.project: -------------------------------------------------------------------------------- 1 | packages: . 2 | -------------------------------------------------------------------------------- /tests/cases/packages/TestPackage/src/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/packages/TestPackage/src/Main.hs -------------------------------------------------------------------------------- /tests/cases/packages/TestPackage/src/Test/Package.hs: -------------------------------------------------------------------------------- 1 | module Test.Package (x) where 2 | 3 | 4 | x :: Int 5 | x = 43 6 | -------------------------------------------------------------------------------- /tests/cases/packages/TestPackage/tests/Tests.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/packages/TestPackage/tests/Tests.hs -------------------------------------------------------------------------------- /tests/cases/unnamed.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/Tritlo/PropR/HEAD/tests/cases/unnamed.hs --------------------------------------------------------------------------------