[김성학]

1. 시그윈을 사용하고 있는데요, 컴파일이 잘 되지 않습니다.
README에 제시된 UNIX를 위한 컴파일 방법을 사용하였는데
run FATAL: Could not start C:\cygwin\home\Administrator\Ocaml\hw3\examples\test1.k- 라는 안내가 뜹니다. 어떤 문제가 있는 것일까요? 혹은 다른 권장되는 방법이 있을까요?

2. 스펙에 while 문이 e1이 false이면 unit을, true이면 e1, e2를 차례로 실행한 뒤 while e1 do e2를 재귀하도록 되어 있습니다.
그럼 while 문은 (무한루프에 빠지지 않는 한) 반드시 unit을 돌려주게 되나요?

3. record를 참조할 때 field에 없는 id가 들어올 경우의 Error문은 자유롭게 내어도 될까요?

4. assign과 read문에서는 (semantics의 정의에 따라) 이미 주소가 할당된 id가 들어오나요?

감사합니다.

[강동옥]

1. 죄송하지만 컴파일 과정에서 일어나는 에러는 직접 상황을 보지 않고서 짐작하기가 어려울 것 같습니다. 가장 추천드리는 과제 환경은, 컴퓨터공학부에서 제공하는 martini.snucse.org와 같은 숙제용 리눅스 서버를 사용하시는 것입니다. 혹은 윈도우에서 컴파일을 하실 경우, cmd.exe 명령창에서 make.bat을 실행하여 컴파일하실 수 있을 것입니다.

2. 말씀하신대로, while문의 실행이 (무한루프를 돌지 않고) 완료된다면, 그 결과값은 언제나 unit일 것입니다.

3. 네, record에 없는 id로 field에 접근할 경우, 임의의 스트링을 인자로 하여 Error 예외를 내 주시면 됩니다.

4. assign과 read문에서, 현재 환경(environment)에 정의되지 않은 id가 들어올 경우에도 임의의 스트링을 인자로 하여 Error를 내시면 됩니다.

[이성환]

1. 실행시 run 파일이 있는 경로에서 ./run test.k- 대신 상대경로가 없는 run test.k- 를 입력하는 경우 저런 메세지가 뜹니다. 다른 이유라면 잘 모르겠네요.