結果 : type checking in intermediate code generation