Index of /~adrpo33/sml.net
Name Last modified Size Description
Parent Directory -
typeunifier-error/ 2005-02-11 15:56 -
exception-raising-error/ 2005-01-15 17:54 -
overflow-warning/ 2005-01-15 17:53 -
sml.net-rml-error/ 2004-11-24 23:07 -
README 2006-02-07 20:56 1.3K
typeunifier-error.zip 2005-02-11 15:55 93K
exception-rising-error.zip 2005-01-15 17:57 42K
overflow-warning.zip 2004-11-24 23:08 5.4K
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/