[임유진]

안녕하세요,

EQUAL semantics에서의 올바른 타입을 아래와 같이 이해했습니다.

1. e1과 e2의 타입이 같다.
1-1. 단, TyLoc의 경우에는 세부 타입까지 같을 필요 없이 e1과 e2가 모두 TyLoc이기만 하면 된다.
2. e1과 e2의 타입이 TyInt, TyBool, TyString, TyLoc 중 하나이다.

이를 simple_checker에서 확인해야할까요? 특히 1-1과 2를 확인하는 것이 쉽지 않을 것 같은데, 제가 이해한 것이 맞을까요?

감사합니다.

[김도형]

안녕하세요.

TyLoc의 세부 타입까지 일치하여야 합니다.

감사합니다.