add an IL type checker #4

Closed

Closed

add an IL type checker#4

The IL has enough type structure now that is only informally-enforced by trans
and x86 that a "full" typechecker would probably be worthwhile.

Metadata

Assignees

No one assigned

Labels

No labels

No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests