SML não detectando o SO no OS X Mavericks

Quando usar ponto-e-vírgula no SML?

Suprimir a saída “val it” no Standard ML

O SMLNJ tem algum tipo de depurado

Eu olhei através doSMLNJ Guia do usuário [http://www.smlnj.org/doc/index.html] e não consegue encontrar nada sobre os recursos de depuração. Eu adoraria ver apenas um rastreamento de pilha ou percorrer uma função. Isso é possível. Existem ...

Como 'consertar' o sistema interativo SML / NJ para usar as teclas de seta

Não é possível determinar o SO

O que essa assinatura de função significa em sml?

A saída é truncada com # -signs no REPL

Eu escrevi uma função que funciona como esperado, mas eu não entendo por que a saída é assim. Função:datatype prop = Atom of string | Not of prop | And of prop*prop | Or of prop*prop; (* XOR = (A And Not B) OR (Not A Or B) *) local fun ...

SMLNJ expandir # na saída

Eu tenho o seguinte: val it = DATAX ("hello",DATAX ("world",DATAX #,DATAX #),...Existe uma maneira de fazer o interpretador SMLNJ expandir "#" para que eu possa ver quais são os dados exatos? Obrigado!

SML Como definir a opção apropriada

Por que o código a seguir não funciona?