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/