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