This repository was archived by the owner on Jun 6, 2021. It is now read-only.
This repository was archived by the owner on Jun 6, 2021. It is now read-only.
New Type Checker: Check Correct Returns Pass #47
Description
- Create a pass in
passes/ast/type_checking - Check that every instruction that leaves the current function has the correct return type
- Test the pass