SCM Repository
Diff of /sml/trunk/NOTES/HISTORY
Parent Directory
|
Revision Log
|
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: |
|
root@smlnj-gforge.cs.uchicago.edu | ViewVC Help |
Powered by ViewVC 1.0.0 |