OCaml의 서명 오류

Question

종속 나는 다음과 같은 모듈 서명 A 있습니다

내가 a.mli 및 a.cmi 파일을 얻기 위해 컴파일 할 수 있어요

module type A = 
sig 
    type exp = 
    Int of int 
    | Var of string 
end;; 

. 그러나, 나는 B를 정의하는 경우 :

module type B = 
sig 
    val compute : A.exp -> A.exp 
end;; 

는 ocamlc -i b.ml 오류 Unbound type constructor A.exp을 생산하고 실행할 수 있습니다. 왜 그런가요?

Answer 1

OCaml은 각 소스 파일에 해당하는 외부 모듈을 무료로 제공합니다. 따라서 A.A라는 모듈 유형을 정의하고 있습니다. 모듈이 아니며 유형 모듈임을 유의하십시오.

그것은 당신의 a.ml (그리고 a.mli 당신이 좋아하는 경우는) 다음과 같은 단지 포함해야 가능 :

type exp = Int of int | Var of string 

그런 다음 당신은 당신의 b.ml 파일에서 A.exp을 참조 할 수 있습니다.

또한 a.mli는 소스 파일입니다. a.mli 파일이 있으면 컴파일하여 a.cmi 파일을 만들어야합니다.