new RPMs

Stephen Weeks MLton@sourcelight.com
Tue, 24 Jul 2001 23:31:46 -0700


> > It's -type-check {false|true} and it turns on type checking of ILs, which is off
> > by default.
> 
> I mean to ask this before, but forgot.  With -type-check false, is there
> any type-checking after checking the input program.  It seems like it
> would be worthwile to at least check the final CPS program.

An excellent idea.  Please add it.