Problem

SML/NJ supports laziness via the Control.lazysml boolean reference, which if set to true enables "lazy" as a keyword on datatype declarations and on val [rec] declarations.

eg, datatype lazy stream = Cons of int * stream
eg, val rec lazy zeros = Cons (0, zeros)

Solution

It would be great to have a way to enable highlighting of the keyword "lazy" as with the other constructs of the language.