> > 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.