Compiler: Testing tasks - Githubissues

mlabs-haskell / lambda-buffers

LambdaBuffers toolkit for sharing types and their semantics between different languages

https://mlabs-haskell.github.io/lambda-buffers/

Apache License 2.0

29 stars 0 forks source link

Compiler: Testing tasks #61

Open bladyjoker opened 1 year ago

bladyjoker commented 1 year ago

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