On Fri, Oct 3, 2014 at 3:15 PM, Tjark Weber <[email protected]> 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.
_______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
