Комментарии к Line в стандартном ML

Я изучаю ML, с диалектом SML/NJ. Я пытаюсь выяснить, есть ли оператор комментариев строки. Я нашел оператор комментария блока (*... *), но я действительно пропускаю комментарии к линии.

Предложения? Или я просто застрял с комментариями блока?

Ответы

Ответ 1

Вы застряли с комментариями блоков.

С другой стороны, комментарии блока могут быть вложенными: (* (* *) still comment here *)

Ответ 2

Есть комментарий RFC для строк, в котором предлагается хеш-знак, за которым следует пробел.