강동옥
가입: 2009년 9월 18일 올린 글: 602
|
올려짐: 2013년11월12일 18:52 주제: 숙제 6 변경사항 및 스펙 정리 (11/14 11:55 기준) |
|
|
Exercise 1. "SM5 Rozetta"
- hw6_1.ml 을 제출합니다.
- loc 값과 record 값이 어떻게 생겼는지 알 수 없기 때문에,
그런 입력은 들어오지 않는다고 가정하겠습니다.
입력으로 들어온 Sm5 프로그램이 loc이나 record 상수를 push하려 시도하면
코드:
코드: | raise (Invalid_argument "rozetta") |
예외를 발생시켜주세요.
예를 들어,
코드:
코드: | Sm5.PUSH(Sm5.Val(Sm5.L location))
Sm5.PUSH(Sm5.Val(Sm5.R record))
|
이런 명령들은 입력으로 들어오지 않습니다.
물론 이는 push v::C 의 경우에만 해당됩니다.
push x::C로 이미 환경에 저장되어있던 무언가를 꺼내오는 것에는 해당되지 않습니다.
--------------------------------------------------
Exercise 2. "M"
- hw6_2.ml을 제출합니다.
- Equal : 같은 타입일 경우 값이 같으면 true, 다르면 false, 나머지는 예외 처리하시면 됩니다. |
|