This repository was archived by the owner on Jun 6, 2021. It is now read-only.

New Type Checker: Check Correct Returns Pass #47

Open

3 tasks

Vengarioth opened this issue Jan 22, 2018 · 0 comments

Labels

compiler hardening phase one

Member

Vengarioth commented Jan 22, 2018

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

The text was updated successfully, but these errors were encountered:

Vengarioth added compiler hardening phase one labels

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.