你如何检查OCaml顶级(*)的类型？

Question

我想看看乘法函数的类型(*),所以我将它点击到OCaml顶层.

# (*)

但是,顶层的回声如下:

(*);; 1: this is the start of a comment.

然后消耗了我输入的任何进一步的输入.我想我必须通过按Ctrl+d发送EOF 退出评论模式.大.但当然,我应该能够查询任何函数的类型,包括我们神秘的乘法函数(*)？!

如果这是对顶层的限制,我会非常失望.

Answer 1

它确实认为*)是评论的结尾,但它仍在等待表达的结束.即如果输入两个分号,它将给出语法错误并允许您输入另一个表达式.

获取带空格的函数*类型( * );;,以区别于注释符号.