[과제 6] 에러 처리 및 함수명 관련 질문드립니다.

2021-19243 · 가입: 2026년 3월 14일 올린 글: 1

1. K-에서 생기는 에러들(InvalidArg 등)을 Sm5에서도 마찬가지로 failwith로 잡을지, 아니면 Sm5가 invalid machine state를 뱉도록 Command를 만들면 되는지 궁금합니다.

2. 변수 명과 함수명이 같은 경우가 있을까요?

안중원 · Site Admin 가입: 2023년 3월 13일 올린 글: 76

안녕하세요, 프로그래밍 언어 조교 안중원입니다.

1. K-에서 에러 없이 도는 경우에 SM5에서도 에러 없이 돌도록 번역해주시면 됩니다.
2. 변수명과 함수명은 겹칠 수 있습니다. 즉 `let x := 1 in let proc x () = 2 in write (x ())`와 같은 프로그램은 정상적으로 실행되며 2를 출력합니다. 이러한 경우에도 SM5로 번역한 프로그램을 실행했을 때 K- 프로그램과 동일하게 실행되어야 합니다.

감사합니다.
_________________
TA 안중원
e-mail: jwahn@ropas.snu.ac.kr