Увеличение глубины печати в SML / NJ

Я пытаюсь заставить SML / NJ распечатать результат на верхнем уровне без повсюду помещать знаки #.

Согласно некоторым старым документам (и сообщению в этой группе новостей от 2001 г.), это должно быть возможно использовать Compiler.Control.Print.printDepth

Однако в SML / NJ версии 110.7 это просто дает ошибку:

- Compiler.Control.Print.printDepth := 100;
stdIn:1.1-30.8 Error: unbound structure: Control in path Compiler.Control.Print.printDepth
17
задан Jesper.Reenberg 22 February 2011 в 00:19
поделиться