배새봄
가입: 2018년 9월 10일 올린 글: 4
|
올려짐: 2018년10월17일 19:19 주제: 3-1 Record 질문입니다 |
|
|
3-1번의 EQUAL에 record 두 가지를 인자로 넣을 경우는 결과가 어떻게 나와야 하나요?
예를 들어
코드: |
let x := {} in
let y := {} in
if (x = y)
then write 1
else write 0
|
위와 같은 코드에서는 1이 출력되어야 하나요 아니면 0이 출력되어야 하나요?
아니면 그외의 다른 Error case를 raise해야 하나요? |
|