게시판 인덱스

 
 FAQFAQ   검색검색   멤버리스트멤버리스트   사용자 그룹사용자 그룹   사용자 등록하기사용자 등록하기 
 개인 정보개인 정보   비공개 메시지를 확인하려면 로그인하십시오비공개 메시지를 확인하려면 로그인하십시오   로그인로그인 

이건 무슨 에러일까요- _- nml 인터프리터에선 안나는데 make하면 나네요;;

 
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2006)
이전 주제 보기 :: 다음 주제 보기  
글쓴이 메시지
김진혁



가입: 2006년 5월 5일
올린 글: 11

올리기올려짐: 2006년5월28일 22:36    주제: 이건 무슨 에러일까요- _- nml 인터프리터에선 안나는데 make하면 나네요;; 인용과 함께 답변

The type of this module,
sig
type boolean = Bool of bool | Bool_TOP | Bool_BOT
and integer = Int of int | Nega_INF | Posi_INF
and value =
Interval of (integer * integer)
| Interval_BOT
| Location of string
and @con_Interval = integer * integer
exception TypeError of string
exception NumericError of string
exception FatalError of string
val memset : ('_a, '_b) Map.t ref
val ai : Syn.Syn.cmd -> (value, value) Map.t -> (value, value) Map.t
end, contains type variables that cannot be generalized
위로
사용자 정보 보기 비밀 메시지 보내기
진민식



가입: 2006년 3월 21일
올린 글: 67

올리기올려짐: 2006년5월29일 15:30    주제: 인용과 함께 답변

소스를 보지 못해서 정확한 원인은 알 수 없으나,
type ckecking 시 아래의 코드가
let polymorphism에서 value restriction과 있는 것 같습니다.

val memset : ('_a, '_b) Map.t ref => generialized 될 수 없습니다.

자세한 내용은
http://www.cs.fiu.edu/~smithg/cop4555/valrestr.html

http://caml.inria.fr/pub/old_caml_site/FAQ/FAQ_EXPERT-eng.html

을 참고하시면 될 것 같습니다.
위로
사용자 정보 보기 비밀 메시지 보내기 이메일 보내기
김진혁



가입: 2006년 5월 5일
올린 글: 11

올리기올려짐: 2006년5월29일 17:33    주제: 감사합니다. 인용과 함께 답변

혹시나 몰라서 어제 새벽에 지웠더니 나는군요..

윽-
위로
사용자 정보 보기 비밀 메시지 보내기
이전 글 표시:   
이 게시판은 잠겼으므로 글을 올리거나, 답변을 하거나 수정을 할 수 없습니다   이 주제는 잠겼으므로 답변을 하거나 수정을 할 수 없습니다     게시판 인덱스 -> 4541.664A Program Analysis (Spring 2006) 시간대: GMT + 9 시간(한국)
페이지 11

 
건너뛰기:  
새로운 주제를 올릴 수 없습니다
답글을 올릴 수 없습니다
주제를 수정할 수 없습니다
올린 글을 삭제할 수 없습니다
투표를 할 수 없습니다


Powered by phpBB 2.0.21-7 (Debian) © 2001, 2005 phpBB Group
Translated by kss & drssay