[서상민]

과제 pdf에 보면 Exercise 2번에 "실해중에 타입이 맞지 않는 프로그램이면 Error라는 예외상황을 발생시키고 프로그램 실행이 중단되어야 합니다."라는 말이 있습니다.
타입 에러가 난 경우 어떻게 실행을 바로 중단할 수 있습니까?
raise Exception 해서는 바로 중단 안되는거 같은데요...
nML에 라이브러리로 있는건가요? 아님 어떤 방법을 이용해 직접 구현해야 하는건가요?

[박대준]

예외를 발생시킨다는 것 자체가 run함수를 강제종료하고 빠져나오는 것이므로,
그렇게만 구현하시면 됩니다.

참고로 nML에서 강제종료를 위한 exit라는 함수가 있습니다.
아래 페이지의 맨 아래쪽 단락을 참고하시기 바랍니다.
http://ropas.snu.ac.kr/n/lib92/Pervasives.html