├── .gitignore ├── CRAPL-LICENSE.txt ├── README.md ├── Setup.hs ├── app └── Main.hs ├── data ├── PatternsWithParams.hs ├── exact │ ├── Abs.hs │ ├── Abs.hs.expected │ ├── BoolEs.hs │ ├── BoolEs.hs.expected │ ├── BoolInaccessible.hs │ ├── BoolInaccessible.hs.expected │ ├── BooleanGuards.hs │ ├── BooleanGuards.hs.expected │ ├── Bools.hs │ ├── Bools.hs.expected │ ├── ComplicatedInts.hs │ ├── ComplicatedInts.hs.expected │ ├── ConcreteTuples.hs │ ├── ConcreteTuples.hs.expected │ ├── EvalBool.hs │ ├── EvalBool.hs.expected │ ├── FuncGuard.hs │ ├── FuncGuard.hs.expected │ ├── Identity.hs │ ├── Identity.hs.expected │ ├── IntOps.hs │ ├── IntOps.hs.expected │ ├── Integers.hs │ ├── Integers.hs.expected │ ├── Ints.hs │ ├── Ints.hs.expected │ ├── List3Unzip.hs │ ├── List3Unzip.hs.expected │ ├── ListUnzip.hs │ ├── ListUnzip.hs.expected │ ├── Lists.hs │ ├── Lists.hs.expected │ ├── Lists2.hs │ ├── Lists2.hs.expected │ ├── ListsIncomplete.hs │ ├── ListsIncomplete.hs.expected │ ├── MutipleTranslatedGuards.hs │ ├── MutipleTranslatedGuards.hs.expected │ ├── PartialPatternWithVariable.hs │ ├── PartialPatternWithVariable.hs.expected │ ├── PatternWithParameter.hs │ ├── PatternWithParameter.hs.expected │ ├── PatternWithParameterVariableMatch.hs │ ├── PatternWithParameterVariableMatch.hs.expected │ ├── Prime.hs │ ├── Prime.hs.expected │ ├── Redundant.hs │ ├── Redundant.hs.expected │ ├── RedundantGuard.hs │ ├── RedundantGuard.hs.expected │ ├── ReportExample.hs │ ├── ReportExample.hs.expected │ ├── SimpleRedundant.hs │ ├── SimpleRedundant.hs.expected │ ├── SimpleVar.hs │ ├── SimpleVar.hs.expected │ ├── ThreeInts.hs │ ├── ThreeInts.hs.expected │ ├── Tree.hs │ ├── Tree.hs.expected │ ├── TreeEval.hs │ ├── TreeEval.hs.expected │ ├── TreeTraversal.hs │ ├── TreeTraversal.hs.expected │ ├── Trivial.hs │ ├── Trivial.hs.expected │ ├── TrueGuard.hs │ ├── TrueGuard.hs.expected │ ├── Tuples.hs │ ├── Tuples.hs.expected │ ├── TwoInts.hs │ ├── TwoInts.hs.expected │ ├── TypeClass.hs │ ├── TypeClass.hs.expected │ ├── TypeVariable.hs │ ├── TypeVariable.hs.expected │ ├── Variables.hs │ ├── Variables.hs.expected │ ├── Wildcard.hs │ ├── Wildcard.hs.expected │ ├── Word8.hs │ └── Word8.hs.expected └── shouldNotParse │ ├── duplicateSignature.hs │ ├── infixdataconstructor.hs │ ├── missingImplementation.hs │ └── recordDataConstructor.hs ├── hooks.sus ├── makefile ├── patterns.cabal ├── src ├── ClauseProcessing.hs ├── DataDefs.hs ├── Evaluatedness.hs ├── Gatherer.hs ├── Lib.hs ├── OptParse.hs ├── OptParse │ └── Types.hs ├── Oracle.hs ├── Oracle │ └── SBVQueries.hs ├── TH.hs ├── Types.hs └── Util.hs ├── stack.yaml └── test ├── ClauseProcessingSpec.hs ├── GathererSpec.hs ├── LibSpec.hs ├── MainTest.hs ├── Oracle ├── SBVQueriesSpec.hs └── TestUtils.hs ├── OracleSpec.hs └── TestUtils.hs /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/.gitignore -------------------------------------------------------------------------------- /CRAPL-LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/CRAPL-LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/README.md -------------------------------------------------------------------------------- /Setup.hs: -------------------------------------------------------------------------------- 1 | import Distribution.Simple 2 | main = defaultMain 3 | -------------------------------------------------------------------------------- /app/Main.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/app/Main.hs -------------------------------------------------------------------------------- /data/PatternsWithParams.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/PatternsWithParams.hs -------------------------------------------------------------------------------- /data/exact/Abs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Abs.hs -------------------------------------------------------------------------------- /data/exact/Abs.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Abs.hs.expected -------------------------------------------------------------------------------- /data/exact/BoolEs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/BoolEs.hs -------------------------------------------------------------------------------- /data/exact/BoolEs.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/BoolEs.hs.expected -------------------------------------------------------------------------------- /data/exact/BoolInaccessible.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/BoolInaccessible.hs -------------------------------------------------------------------------------- /data/exact/BoolInaccessible.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/BoolInaccessible.hs.expected -------------------------------------------------------------------------------- /data/exact/BooleanGuards.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/BooleanGuards.hs -------------------------------------------------------------------------------- /data/exact/BooleanGuards.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/BooleanGuards.hs.expected -------------------------------------------------------------------------------- /data/exact/Bools.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Bools.hs -------------------------------------------------------------------------------- /data/exact/Bools.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Bools.hs.expected -------------------------------------------------------------------------------- /data/exact/ComplicatedInts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/ComplicatedInts.hs -------------------------------------------------------------------------------- /data/exact/ComplicatedInts.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/ComplicatedInts.hs.expected -------------------------------------------------------------------------------- /data/exact/ConcreteTuples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/ConcreteTuples.hs -------------------------------------------------------------------------------- /data/exact/ConcreteTuples.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/ConcreteTuples.hs.expected -------------------------------------------------------------------------------- /data/exact/EvalBool.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/EvalBool.hs -------------------------------------------------------------------------------- /data/exact/EvalBool.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/EvalBool.hs.expected -------------------------------------------------------------------------------- /data/exact/FuncGuard.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/FuncGuard.hs -------------------------------------------------------------------------------- /data/exact/FuncGuard.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/FuncGuard.hs.expected -------------------------------------------------------------------------------- /data/exact/Identity.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Identity.hs -------------------------------------------------------------------------------- /data/exact/Identity.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Identity.hs.expected -------------------------------------------------------------------------------- /data/exact/IntOps.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/IntOps.hs -------------------------------------------------------------------------------- /data/exact/IntOps.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/IntOps.hs.expected -------------------------------------------------------------------------------- /data/exact/Integers.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Integers.hs -------------------------------------------------------------------------------- /data/exact/Integers.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Integers.hs.expected -------------------------------------------------------------------------------- /data/exact/Ints.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Ints.hs -------------------------------------------------------------------------------- /data/exact/Ints.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Ints.hs.expected -------------------------------------------------------------------------------- /data/exact/List3Unzip.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/List3Unzip.hs -------------------------------------------------------------------------------- /data/exact/List3Unzip.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/List3Unzip.hs.expected -------------------------------------------------------------------------------- /data/exact/ListUnzip.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/ListUnzip.hs -------------------------------------------------------------------------------- /data/exact/ListUnzip.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/ListUnzip.hs.expected -------------------------------------------------------------------------------- /data/exact/Lists.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Lists.hs -------------------------------------------------------------------------------- /data/exact/Lists.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Lists.hs.expected -------------------------------------------------------------------------------- /data/exact/Lists2.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Lists2.hs -------------------------------------------------------------------------------- /data/exact/Lists2.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Lists2.hs.expected -------------------------------------------------------------------------------- /data/exact/ListsIncomplete.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/ListsIncomplete.hs -------------------------------------------------------------------------------- /data/exact/ListsIncomplete.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/ListsIncomplete.hs.expected -------------------------------------------------------------------------------- /data/exact/MutipleTranslatedGuards.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/MutipleTranslatedGuards.hs -------------------------------------------------------------------------------- /data/exact/MutipleTranslatedGuards.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/MutipleTranslatedGuards.hs.expected -------------------------------------------------------------------------------- /data/exact/PartialPatternWithVariable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/PartialPatternWithVariable.hs -------------------------------------------------------------------------------- /data/exact/PartialPatternWithVariable.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/PartialPatternWithVariable.hs.expected -------------------------------------------------------------------------------- /data/exact/PatternWithParameter.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/PatternWithParameter.hs -------------------------------------------------------------------------------- /data/exact/PatternWithParameter.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/PatternWithParameter.hs.expected -------------------------------------------------------------------------------- /data/exact/PatternWithParameterVariableMatch.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/PatternWithParameterVariableMatch.hs -------------------------------------------------------------------------------- /data/exact/PatternWithParameterVariableMatch.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/PatternWithParameterVariableMatch.hs.expected -------------------------------------------------------------------------------- /data/exact/Prime.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Prime.hs -------------------------------------------------------------------------------- /data/exact/Prime.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Prime.hs.expected -------------------------------------------------------------------------------- /data/exact/Redundant.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Redundant.hs -------------------------------------------------------------------------------- /data/exact/Redundant.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Redundant.hs.expected -------------------------------------------------------------------------------- /data/exact/RedundantGuard.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/RedundantGuard.hs -------------------------------------------------------------------------------- /data/exact/RedundantGuard.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/RedundantGuard.hs.expected -------------------------------------------------------------------------------- /data/exact/ReportExample.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/ReportExample.hs -------------------------------------------------------------------------------- /data/exact/ReportExample.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/ReportExample.hs.expected -------------------------------------------------------------------------------- /data/exact/SimpleRedundant.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/SimpleRedundant.hs -------------------------------------------------------------------------------- /data/exact/SimpleRedundant.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/SimpleRedundant.hs.expected -------------------------------------------------------------------------------- /data/exact/SimpleVar.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/SimpleVar.hs -------------------------------------------------------------------------------- /data/exact/SimpleVar.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/SimpleVar.hs.expected -------------------------------------------------------------------------------- /data/exact/ThreeInts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/ThreeInts.hs -------------------------------------------------------------------------------- /data/exact/ThreeInts.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/ThreeInts.hs.expected -------------------------------------------------------------------------------- /data/exact/Tree.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Tree.hs -------------------------------------------------------------------------------- /data/exact/Tree.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Tree.hs.expected -------------------------------------------------------------------------------- /data/exact/TreeEval.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/TreeEval.hs -------------------------------------------------------------------------------- /data/exact/TreeEval.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/TreeEval.hs.expected -------------------------------------------------------------------------------- /data/exact/TreeTraversal.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/TreeTraversal.hs -------------------------------------------------------------------------------- /data/exact/TreeTraversal.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/TreeTraversal.hs.expected -------------------------------------------------------------------------------- /data/exact/Trivial.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Trivial.hs -------------------------------------------------------------------------------- /data/exact/Trivial.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Trivial.hs.expected -------------------------------------------------------------------------------- /data/exact/TrueGuard.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/TrueGuard.hs -------------------------------------------------------------------------------- /data/exact/TrueGuard.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/TrueGuard.hs.expected -------------------------------------------------------------------------------- /data/exact/Tuples.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Tuples.hs -------------------------------------------------------------------------------- /data/exact/Tuples.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Tuples.hs.expected -------------------------------------------------------------------------------- /data/exact/TwoInts.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/TwoInts.hs -------------------------------------------------------------------------------- /data/exact/TwoInts.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/TwoInts.hs.expected -------------------------------------------------------------------------------- /data/exact/TypeClass.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/TypeClass.hs -------------------------------------------------------------------------------- /data/exact/TypeClass.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/TypeClass.hs.expected -------------------------------------------------------------------------------- /data/exact/TypeVariable.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/TypeVariable.hs -------------------------------------------------------------------------------- /data/exact/TypeVariable.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/TypeVariable.hs.expected -------------------------------------------------------------------------------- /data/exact/Variables.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Variables.hs -------------------------------------------------------------------------------- /data/exact/Variables.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Variables.hs.expected -------------------------------------------------------------------------------- /data/exact/Wildcard.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Wildcard.hs -------------------------------------------------------------------------------- /data/exact/Wildcard.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Wildcard.hs.expected -------------------------------------------------------------------------------- /data/exact/Word8.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Word8.hs -------------------------------------------------------------------------------- /data/exact/Word8.hs.expected: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/exact/Word8.hs.expected -------------------------------------------------------------------------------- /data/shouldNotParse/duplicateSignature.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/shouldNotParse/duplicateSignature.hs -------------------------------------------------------------------------------- /data/shouldNotParse/infixdataconstructor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/shouldNotParse/infixdataconstructor.hs -------------------------------------------------------------------------------- /data/shouldNotParse/missingImplementation.hs: -------------------------------------------------------------------------------- 1 | fun :: Int 2 | -------------------------------------------------------------------------------- /data/shouldNotParse/recordDataConstructor.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/data/shouldNotParse/recordDataConstructor.hs -------------------------------------------------------------------------------- /hooks.sus: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/hooks.sus -------------------------------------------------------------------------------- /makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/makefile -------------------------------------------------------------------------------- /patterns.cabal: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/patterns.cabal -------------------------------------------------------------------------------- /src/ClauseProcessing.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/src/ClauseProcessing.hs -------------------------------------------------------------------------------- /src/DataDefs.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/src/DataDefs.hs -------------------------------------------------------------------------------- /src/Evaluatedness.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/src/Evaluatedness.hs -------------------------------------------------------------------------------- /src/Gatherer.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/src/Gatherer.hs -------------------------------------------------------------------------------- /src/Lib.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/src/Lib.hs -------------------------------------------------------------------------------- /src/OptParse.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/src/OptParse.hs -------------------------------------------------------------------------------- /src/OptParse/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/src/OptParse/Types.hs -------------------------------------------------------------------------------- /src/Oracle.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/src/Oracle.hs -------------------------------------------------------------------------------- /src/Oracle/SBVQueries.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/src/Oracle/SBVQueries.hs -------------------------------------------------------------------------------- /src/TH.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/src/TH.hs -------------------------------------------------------------------------------- /src/Types.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/src/Types.hs -------------------------------------------------------------------------------- /src/Util.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/src/Util.hs -------------------------------------------------------------------------------- /stack.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/stack.yaml -------------------------------------------------------------------------------- /test/ClauseProcessingSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/test/ClauseProcessingSpec.hs -------------------------------------------------------------------------------- /test/GathererSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/test/GathererSpec.hs -------------------------------------------------------------------------------- /test/LibSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/test/LibSpec.hs -------------------------------------------------------------------------------- /test/MainTest.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/test/MainTest.hs -------------------------------------------------------------------------------- /test/Oracle/SBVQueriesSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/test/Oracle/SBVQueriesSpec.hs -------------------------------------------------------------------------------- /test/Oracle/TestUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/test/Oracle/TestUtils.hs -------------------------------------------------------------------------------- /test/OracleSpec.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/test/OracleSpec.hs -------------------------------------------------------------------------------- /test/TestUtils.hs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/PJK/haskell-pattern-matching/HEAD/test/TestUtils.hs --------------------------------------------------------------------------------