Index of /~adrpo33/sml.net

Icon  Name                       Last modified      Size  Description
[PARENTDIR] Parent Directory - [DIR] sml.net-rml-error/ 2004-11-24 23:07 - [DIR] overflow-warning/ 2005-01-15 17:53 - [DIR] exception-raising-error/ 2005-01-15 17:54 - [DIR] typeunifier-error/ 2005-02-11 15:56 - [   ] overflow-warning.zip 2004-11-24 23:08 5.4K [   ] exception-rising-error.zip 2005-01-15 17:57 42K [   ] typeunifier-error.zip 2005-02-11 15:55 93K [TXT] README 2006-02-07 20:56 1.3K
Adrian Pop, adrpo@ida.liu.se, http://www.ida.liu.se/~adrpo
----------------------------------------------------------
SML.NET errors and fixes :)
SML.NET is a cool SML compiler which can be found here:
http://www.cl.cam.ac.uk/Research/TSG/SMLNET/

The SML.NET mailing list archive:
http://jiscmail.ac.uk/archives/smlnet-users.html

Here is an area of the errors I found in the SML.NET compiler. 
They fixed them quite fast so: Good Work SML.NET team!

2003 October 29
 - Simplifying [simp]...
  !!! COMPILER BUG: Fail: SimplifyEnv.lookupVarVal: not found: 
    afevc raised at src\front\proj\Make.sml:143.44/src\env\
    PrintManager.sml:70.67/src\env\PrintManager.sml:70.67/src\
    env\Debug.sml:61.46-61.58
 - A workaround was given right away and the 
   error was fixed in the SML.NET 671 build.

2004 April 03
 - overflow (this was fixed in the SML.NET 1.2 release)

2005 January 15
 - exception raising
   + in the Release version the exception IS NOT raised
   + in the Debug version the exeption IS raised

2005 January 31
 - the SML.NET team fixed the exception raising error

2005 February 11
 - sharing of structures leads to compiler bug:
 !!! COMPILER BUG: Fail "SMLTyUnify.matchList: unequal lengths"
 - fixed in the SML.NET 1.2 build 1155 of 01-03-05



Adrian Pop/