OCaml의 펑터 복용 다형 변형 유형

Question

는

module F (M : sig 
    type t = [> `Foo ] 
end) = struct 
    type t = [ M.t | `Bar ] 
end 

내가 뭘 잘못 나에게

Error: A type variable is unbound in this type declaration. 
In type [> `Foo ] as 'a the variable 'a is unbound 

를 얻을 컴파일하려고? [> `Foo]은 공개 유형이고 암시 적으로 유형 변수를 포함하므로

Answer 1

type t = [> `Foo]은 유효하지 않습니다.

type t = [ `Foo ] 

을하거나 정량화 :

type t = 'a list 

당신은 그것을 폐쇄 확인해야합니다 : 정의는 RHS는 LHS에서 정량화되지 않은 형식 변수가 있기 때문에 다음과 같은 유형 정의가 거부되는 것처럼 거부 입력 변수 :

type 'a t = [> `Foo] as 'a 

type 'a t = 'a constraint 'a = [> `Foo] 

012 동등