Как вы проверяете тип (*) на верхнем уровне OCaml?

Question

Я хотел увидеть тип функции умножения (*), поэтому я подключил ее к верхнему уровню OCaml.

# (*)

Тем не менее, верхний уровень повторил:

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

и затем использовал все дополнительные данные, которые я ввел. Я решил, что мне нужно выйти из режима комментариев, нажав Ctrl+d, чтобы отправить EOF. Отлично. Но, конечно, я должен иметь возможность запрашивать тип любой функции, включая нашу загадочную функцию умножения (*)?!

Я был бы невероятно разочарован, если бы это было ограничением верхнего уровня.

Answer 1

Он распознает *) как конец комментария, но все еще ожидает конца выражения.Т.е. если вы введете две точки с запятой, это даст вам синтаксическую ошибку и позволит вам ввести другое выражение.

Чтобы получить функцию * введите ( * );; с пробелами, чтобы отличить ее от символов комментария.