Complete type checker

700fdd7
Opened by Graydon Hoare at 2010-07-27 00:07:46

There are still a bunch of missing node cases in the type checker. Finish them off.

  1. We rely on completeness in the typechecker now to drive a fair bit of other stuff. This is obsolete.

    Graydon Hoare at 2010-07-27 00:07:46