[심규민]

6-2 질문입니다.

M0 언어에서
ifzero e1 then e2 else e3
라는 문장이 있을 때
e1을 evaluate 했을 때 natural number로 나오지 않을 경우
어떻게 동작하나요?

[강동옥]

Num of int, Sub of exp * exp 를 계산한 결과가 음수가 나오는 테스트케이스는 채점에 사용하지 않도록 하겠습니다. 실행 도중에 만나는 모든 정수는 0 이상의 정수라고 가정하고 코드를 작성하시고, 음수를 만났을 경우에는 자유롭게 예외 처리를 하시면 될 것 같습니다.

아래 링크의 추가스펙 공지글에도 이와 관련된 항목이 있었는데, 좀더 명확하게 써두었습니다. https://ropas.snu.ac.kr/phpbb/viewtopic.php?t=4563

[심규민]

자연수, 음수에 대해 여쭤본 것이 아니라
가령 e1이 pair인 경우 해당 문장의 sementics가 어떻게 되는가를 여쭤본 것입니다.

[강동옥]

그러한 일반적인 타입 에러라면 다른 많은 케이스 (함수 application, binary operation 등)에서도 발생할 수 있을 텐데, 역시 똑같은 원칙을 적용하도록 하겠습니다.

채점에 사용될 테스트케이스 프로그램은, 타입 에러를 일으키지 않는 프로그램만 사용될 것입니다. (예 : ifzero e1 then e2 else e3 의 경우 e1을 계산한 값은 항상 양의 정수, e.1의 경우 e를 계산한 값은 항상 pair... 등등) 타입 에러가 있는 인풋 프로그램에 대해서는 어떻게 작동해도 무방합니다.

[심규민]

감사합니다.