smlnj

SML-NJ, cómo compilar un ejecutable independiente

Empiezo a aprender ML Estándar, y ahora trato de usar ML Estándar del compilador de Nueva Jersey. Ahora puedo usar loop inte ... pero no tiene ejemplos claros. También, hay otro compilador SML (que permite la creación binaria independiente) disponible?

advertencia en el ML

¿Puede alguien explicar, por favor, qué significa esta advertencia? stdIn:18.35 Warning: calling polyEqual Y por qué ten ... d(v, []) = false | alreadyVisited(v, x::xs) = if(x=v) then true else alreadyVisited(v, xs); Gracias de antemano