Ensure compiler security compliance

[thomasvergne]

Current compiler already has some tests directly integrated in it, but it should cover every possible cases, to avoid any potential core-breaking issue.

Steps

• Create a new test battery for a given compiler component
• Provide from basic test implementations to most complex cases
• Potentially discover new issues within the compiler
• Repeat these steps for the new discovered issue

Making test creation easier

To allow better productivity, parser tests should be the only tests to be that verbose for syntax checking. When finishing writing parser tests, parser should be used to incorporate files directly in tests. Resulting in better code examples.

State of art

• Parser tests
• Module resolution tests
• Type-checking tests
• Type erasure tests
• Closure conversion tests
• ANF Conversion tests
• LLIR Conversion tests
• Bytecode generation and serialization tests