3 Oct
2014
3 Oct
'14
3:32 p.m.
On Fri, Oct 3, 2014 at 3:15 PM, Tjark Weber <tjark.weber at it.uu.se> wrote:
Further note that "print" is also not Standard ML, although TextIO.print is covered by the Basis Library.
In what sense is "print" not Standard ML?
In the same way "use" is not Standard ML (although as Makarius points out, at least "print" is in the Basis). They're not in the definition. http://sml-family.org is worth a look.