ocaml - 如何隐藏构造函数？

Question

我正在尝试构建一个类型 LazyList 但隐藏 LazyList.t 的定义。我有以下文件:

LazyList.ml

type 'a t =
    | Cell of ('a * 'a t) option Lazy.t
;;

let rec from_list l = ...;;
let rec from_string s = ...;;
let rec from_in_channel c = ...;;

let rec to_list l = ...;;

LazyList.mli

type 'a t;;

val from_list : 'a list -> 'a t;
val from_string : string -> char t;
val from_in_channel : in_channel -> char t;

val to_list : 'a t -> 'a list;

当我运行 ocamlc LazyList.mli 时，出现以下错误:

File "LazyList.mli", line 1, characters 9-10:
Error: Syntax error

什么给了？如果我要在 LazyList.ml 中编写所需的所有方法，是否需要公开构造函数？

Answer 1

这只是一个语法错误。 mli 文件中不能出现分号。另外，您确实不需要在 ml 文件中使用这个丑陋的双分号，尽管这不是错误。