강동옥
 
 
  가입: 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, 나머지는 예외 처리하시면 됩니다. | 
			 
		  |