Home My Page Projects Code Snippets Project Openings SML/NJ
Summary Activity Forums Tracker Lists Tasks Docs Surveys News SCM Files

SCM Repository

[smlnj] Diff of /sml/trunk/NOTES/HISTORY
ViewVC logotype

Diff of /sml/trunk/NOTES/HISTORY

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 2649, Thu May 31 19:34:18 2007 UTC revision 2650, Thu May 31 19:57:03 2007 UTC
# Line 14  Line 14 
14  Description:  Description:
15    
16  ----------------------------------------------------------------------  ----------------------------------------------------------------------
17    Name: Dave MacQueen (dbm@cs.uchicago.edu)
18    Date: 2007/05/31 14:55:00 CDT
19    Revision: 2650
20    Description:
21    
22    3rd merge of base from primop-branch-3 into the trunk.
23    Additional bug fixes included:
24    
25     * Timer.cpu_timer, etc. type printing corrected (by making
26         Timer have opaque sig constraint in basis/Implementation/timer.sml)
27     * Infinite loop in FLINT (tests/typing/tests/25.sml) (fix by
28         Stefan Monnier)
29    
30    ----------------------------------------------------------------------
31  Name: Matthias Blume (http://www.tti-c.org/blume/)  Name: Matthias Blume (http://www.tti-c.org/blume/)
32  Date: 2007/05/31 11:40:00 CDT  Date: 2007/05/31 11:40:00 CDT
33  Description:  Description:
# Line 25  Line 39 
39  been set up yet (this only happens when compiling system/smlnj/init/*),  been set up yet (this only happens when compiling system/smlnj/init/*),
40  then don't bother generating the corresponding tests.  then don't bother generating the corresponding tests.
41    
42  The old scheme was to generate a bogus value to be used in place of the  The old scheme was to generate a bogus value to be used in place of
43  exception.  Unfortunately, that confuses the plambda type checker.  Moreover, it  the exception.  Unfortunately, that confuses the plambda type checker.
44  does not do any good, because at runtime we don't expect such an exception  Moreover, it does not do any good, because at runtime we don't expect
45  to be ever raised.  (The code in system/smlnj/init/* has to be written  such an exception to be ever raised.  (The code in system/smlnj/init/*
46  very carefully with this in mind!)  has to be written very carefully with this in mind!)
47    
48  ----------------------------------------------------------------------  ----------------------------------------------------------------------
49  Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)  Name: Mike Rainey (http://www.cs.uchicago.edu/~mrainey)

Legend:
Removed from v.2649  
changed lines
  Added in v.2650

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0