SMLNJ расширить # в выводе - PullRequest
       4

SMLNJ расширить # в выводе

0 голосов
/ 21 сентября 2010

У меня есть следующее:

val it = DATAX ("hello",DATAX ("world",DATAX #,DATAX #),...

Есть ли способ заставить интерпретатор SMLNJ развернуть "#", чтобы я мог видеть точные данные? Спасибо!

1 Ответ

3 голосов
/ 29 сентября 2010

Хорошо.Я нашел ответ:

http://www.cs.cmu.edu/~me/212/environment.html

Когда SML / NJ печатает структуру данных, она печатает эту структуру данных только на определенную глубину.Под этой глубиной вместо этого печатается знак #.Как правило, это хорошая вещь, поскольку структуры данных могут быть очень большими (и даже циклическими).Однако глубина по умолчанию, на которой SML / NJ печатает структуры данных, равна 5, что обычно недостаточно.Вы можете настроить глубину, на которой он печатает структуры данных, введя, например,

  • Control.Print.printDepth := 10;

, чтобы установить глубину 10. SML / NJ также сокращаетсписки и строки определенной длины.Вы можете установить длину, на которой это происходит, установив Control.Print.printLength и Control.Print.stringDepth способом, аналогичным описанному выше.

...