lambda-buffers icon indicating copy to clipboard operation
lambda-buffers copied to clipboard

Compiler: Testing tasks

Open bladyjoker opened this issue 2 years ago • 0 comments

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

bladyjoker avatar Feb 24 '23 08:02 bladyjoker