숙제6: 저지방 M

프로그램

제공하는 프로그램 소스는 M 언어의 파서, 인터프리터와 타입체커의 뼈대입니다.

숙제 제출은 반드시 1.n, 2.n 만 제출해 주세요.

컴파일 및 실행 방법

[UNIX]

  1. nmakegen -f
  2. make
  3. run examples/sort.m

[WINDOWS]
  
  1. nmakegen -f
  2. make
  3. run examples\sort.m

이후에 수정을 해서 다시 컴파일하는 경우는 2 ~ 3과정만 다시 반복하면 됩니다.

 * run -pp examples/sort.m 와 같이 하면 파싱된 구문구조를 확인할 수 있습니다. 

 * run -ty examples/sort.m 처럼 -ty 옵션을 주면 주어진 M 프로그램을 2.n의
   M_Checker.check으로 타입 검사를 한 뒤에 M_LowFat.run으로 돌립니다.
   -ty를 주지 않으면 1.n의 M_Vanilla.run으로 돌리기만 합니다.

 * 실행시, 파일명을 명시하지 않을 경우, 표준입력으로부터 실행코드를 읽어들입니다.
   표준 입력으로 프로그램을 입력하신 후, 첫 번째 칸(column)에서
   유닉스 머신에서는 Ctrl-D, 윈도우 환경에서는 Ctrl-Z를 누르시면 
   프로그램이 실행됩니다.

숙제 제출 방법

 * 1.n의 M_Vanilla.run 함수와 2.n의 M_Checker.check 및 M_LowFat.run
   함수를 정의를 완성해서,
   1.n과 2.n 파일만 제출합니다.
   
 * M.RuntimeError는 M_Vanilla.run과 M_LowFat.run에서만,
   M.TypeError는 M_Checker.check에서만 내야 합니다.

참고 사항

 * m.n에 M의 문법 및 타입, 실행기, 타입검사기, 구문구조 출력 등의 
   정의가 모여있으니 한 번쯤 살펴보는 것이 좋겠습니다.

 * 타입 오류나 실행 오류가 발생한 경우, 그 이유를 설명하는 적절한
   메시지를 예외에 포함시키면 좋습니다.