lambda-buffers
lambda-buffers copied to clipboard
Compiler: Testing tasks
TODO:
- [ ] Benign mutation that shuffles Constructors in a Sum - easy
- [ ] Benign mutation that shuffles Fields in a Record - easy
- [ ] Benign mutation that shuffles Tys in a NTuple - easy
- [ ] Benign mutation that shuffles TyArgs in a TyAbs - difficult (requires updating call sites)
- [ ] Corrupting mutation causing a NamingError
- [ ] Corrupting mutation causing a ProtoParseError
- [ ] Corrupting mutation causing a KindCheckError
Check out Mutations in https://github.com/mlabs-haskell/lambda-buffers/blob/134ff00445aac6c09bfe63ecea433c3c708c3753/lambda-buffers-compiler/test/Test/LambdaBuffers/Compiler/Mutation.hs
And how to install them in https://github.com/mlabs-haskell/lambda-buffers/blob/134ff00445aac6c09bfe63ecea433c3c708c3753/lambda-buffers-compiler/test/Test/LambdaBuffers/Compiler.hs#L50