임유진
가입: 2023년 5월 26일 올린 글: 1
|
올려짐: 2023년5월26일 5:31 주제: [HW7] simple_checker에서 EQ 처리 관련 질문 |
|
|
안녕하세요,
EQUAL semantics에서의 올바른 타입을 아래와 같이 이해했습니다.
1. e1과 e2의 타입이 같다.
1-1. 단, TyLoc의 경우에는 세부 타입까지 같을 필요 없이 e1과 e2가 모두 TyLoc이기만 하면 된다.
2. e1과 e2의 타입이 TyInt, TyBool, TyString, TyLoc 중 하나이다.
이를 simple_checker에서 확인해야할까요? 특히 1-1과 2를 확인하는 것이 쉽지 않을 것 같은데, 제가 이해한 것이 맞을까요?
감사합니다. |
|