add an IL type checker

d0e5d49
Opened by Graydon Hoare at 2011-01-27 00:48:47

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

  1. WONTFIX (not required for bootstrapping)

    Graydon Hoare at 2011-01-27 00:48:47