module - 为什么 Utop 对待这个 Ocaml 代码的方式不同

Question

module D = struct type t = float list end
module DF(D) = struct type t = D.t end

在 utop 中出现语法错误

然而，

module D = struct type t = float list end;;
module DF(D) = struct type t = D.t end

才不是

Answer 1

Utop 忽略右侧的所有内容，;;因为;;表示顶级短语的结束。