[최재승]

숙제 8의 테스트케이스들을 제공합니다. 채점에 사용될 테스트 케이스도 제공해 드리는 예제들의 수준을 크게 벗어나지 않을 것입니다.

Exercise 1 "저지방 고단백 M"

- http://ropas.snu.ac.kr/~ta/4190.310/15/document/Type_examples.zip 에서 다운받으실 수 있습니다.
- 뼈대코드 (http://ropas.snu.ac.kr/~ta/4190.310/15/document/Type_skel.zip)의 examples 디렉토리에도 넣어두었습니다.
- 각 테스트케이스에 대한 올바른 결과값은 주석을 통해 제공됩니다.

12/11 업데이트

Write/Equal과 관련한 테스트케이스, 그리고 타입 추론이 불안전(unsound)해지기 쉬운 코너케이스를 업데이트하였습니다.

-------

테스트케이스에 이상한 점이 있으면 알려주세요.

조교 드림