이전 주제 보기 :: 다음 주제 보기 |
글쓴이 |
메시지 |
김진혁
가입: 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월 5일 올린 글: 11
|
올려짐: 2006년5월29일 17:33 주제: 감사합니다. |
|
|
혹시나 몰라서 어제 새벽에 지웠더니 나는군요..
윽- |
|
위로 |
|
|
|