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

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

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

23
задан icco 8 January 2010 в 18:42
поделиться

1 ответ

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

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

29
ответ дан 29 November 2019 в 02:34
поделиться