結果 : type checking in intermediate code generation in compiler design