유근국12
가입: 2017년 9월 7일 올린 글: 1
|
올려짐: 2017년10월14일 21:31 주제: 과제3-1 질문입니다. |
|
|
과제3-1 중 확실치않은 부분이 있어 질문드립니다!
주어진 k-.pdf 의 sementics 에서
EQUAL의 정의가
v1 = v2 = n
∨ v1 = v2 = b
∨ v1 = v2 = · 일때 true 이고, otherwise EQUALF에 의해 false라고 되어있는데
이것이 두 value의 equality를 판단할때
두 value의 type이 서로 다르면 (ex. 13 == true)
에러를 발생시키는게 아니라 false라고 판단한다는 의미인지 궁금합니다.
즉, EQUAL(NUM n, TRUE)같은 경우 에러를 발생시키는지 false를 리턴하는지 궁금합니다. |
|