我想查看乘法函数(*)的类型,因此将其输入到OCaml顶层。
# (*)
但是,顶层回应:
(*);; 1: this is the start of a comment.
然后消耗掉我输入的所有其他输入。我发现必须通过按
Ctrl+d
发送EOF来退出注释模式。大。但是可以肯定的是,我应该能够查询任何函数的类型,包括我们神秘的乘法函数(*)
?!如果那是顶级的限制,我将非常失望。
最佳答案
它确实将*)
识别为注释的结尾,但是它仍在等待表达式的结尾。即如果输入两个分号,则会给您语法错误,并允许您输入另一个表达式。
要获取功能*
,请输入( * );;
并用空格将其与注释符号区分开。