結果 : type checking in compiler design program