Index of /~adrpo/sml.net

Icon  Name                       Last modified      Size  Description
[DIR] Parent Directory - [DIR] typeunifier-error/ 11-Feb-2005 15:56 - [DIR] sml.net-rml-error/ 24-Nov-2004 23:07 - [DIR] overflow-warning/ 15-Jan-2005 17:53 - [DIR] exception-raising-error/ 15-Jan-2005 17:54 - [   ] typeunifier-error.zip 11-Feb-2005 15:55 93K [   ] overflow-warning.zip 24-Nov-2004 23:08 5.4K [   ] exception-rising-error.zip 15-Jan-2005 17:57 42K
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/