Compiler: Testing tasks

[bladyjoker]

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

lambda-buffers/lambda-buffers-compiler/test/Test/LambdaBuffers/Compiler.hs

Line 50 in 134ff00

H.element