[이주상13]

EQUAL (e1, e2) 의 경우,
e1과 e2의 실행 결과의 value 들을 v1, v2 라고 했을 때

1. v1, v2가 모두 Unit 인 경우
2. v1, v2가 모두 Bool 이고 그 값도 같은 경우
3. v1, v2가 모두 Num 이고 그 값도 같은 경우

위의 세가지 경우에만 true 를 리턴하고
나머지는 false 를 리턴하면 되는것인가요?
그리고 혹시

4. v1, v2의 타입이 다르면 false 인가요 TypeError 인가요?
5. 비슷한 질문인데 v1, v2중에 Reord가 있으면 false 인가요 TypeError 인가요?

감사합니다.

[로파스]

EQUALF의 otherwise는 v1과 v2의 타입이 다른경우도 포함합니다.

즉 1,2,3의 경우만 true로 리턴하고 그외의 경우에는 타입과 관계없이 모두 false를 리턴하시면 됩니다.

-조교 드림.