mlton

Norman Ramsey nr@eecs.harvard.edu
Thu, 29 Mar 2001 16:26:11 -0500


I've checked my code and have found only one SML/NJ extension.
Unfortunately it's a hard one to eliminate; it's the
  `where <structure> = <structure>'
qualification on signatures, which is an abbreviation for a *very*
long list of `where type <type> = <type>' qualifications.

By commenting out these qualifications I've created a program that
doesn't typecheck but is syntactically correct SML'97 according to
SML/NJ and Moscow ML 2.00.   Unfortunately MLton complains bitterly
of syntax errors.

I will send the offending code to Stephen.


Norman