> Do I need to set any compiler flag to enable the type-checking or > is it now on by default? It's on by default. However, because the basis library is no longer preprocessed and put into world.mlton, the type checking will not happen until the first program is compiled. Perhaps we should fix this.