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 3652, Thu Jan 12 21:49:32 2012 UTC revision 3653, Fri Jan 13 20:38:34 2012 UTC
# Line 20  Line 20 
20  Description:  Description:
21    
22  ----------------------------------------------------------------------  ----------------------------------------------------------------------
23    Name: David MacQueen (dbm@cs.uchicago.edu)
24    Date: 2012/1/12
25    Revision: 3648, 3652
26    Description:
27    
28    1) Change of SourceMap interface.
29       related to fix of off-by-one error in lexer (committed earlier?), and cleanup of noweb code
30       added by Norman Ramsey many years ago (but little used today).
31    
32    3) Slight cleanup of match compiler, eliminatiing compiler/FLINT/tempexpn.sml file that
33       was part of unused implementation of pattern templates (pattern macros).
34    
35    4) Modification of type checker to add "culprit tracking" for improved type error messages
36       (printing of additional culprit information is controlled by ElabControl.showTypeErrorCulprits
37        flag, default false, added in revision 3652).  The culprit tracking needs to be debugged
38        and improved, and the presentation of the culprits needs to be done better.
39    
40    Details in NOTES/changes/dbm_2012_1.
41    
42    ----------------------------------------------------------------------
43  Name: John Reppy (http://cs.uchicago.edu/~jhr)  Name: John Reppy (http://cs.uchicago.edu/~jhr)
44  Date: 2011/11/25  Date: 2011/11/25
45  Description:  Description:

Legend:
Removed from v.3652  
changed lines
  Added in v.3653

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