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/branches/primop-branch-3/NOTES/HISTORY
ViewVC logotype

Diff of /sml/branches/primop-branch-3/NOTES/HISTORY

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

revision 2578, Tue May 22 16:48:57 2007 UTC revision 2579, Tue May 22 21:39:00 2007 UTC
# Line 14  Line 14 
14  Description:  Description:
15    
16  ----------------------------------------------------------------------  ----------------------------------------------------------------------
17    Name: Matthias Blume (http://www.tti-c.org/blume/)
18    Date: 2007/05/22 11:50:00 CDT
19    Description:
20    
21    Added a boolean control named cm.tolerate-tool-failures (env. variable
22    name: CM_TOLERATE_TOOL_FAILURES).  The default is false and makes
23    CM fail if a shell tool reports a non-success exit status.  If
24    the control is set to true, then CM will press on after tool failures
25    in the event that the target files exist (even though they are
26    considered outdated).  Turning the control to true can be useful for
27    bootstrapping.
28    
29    ----------------------------------------------------------------------
30    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
31    Date: 2007/05/19
32    Description:
33    
34    Merge of ml-lpt revisions for 110.64.
35    
36    The name of several ml-lpt-lib modules has changed:
37      Repair        => AntlrRepair
38      StreamPos     => AntlrStreamPos
39      ErrHandlerFn  => AntlrErrHandler
40      EBNF          => AntlrEBNF
41    
42    The ml-antlr specification format has changed: declarations such as
43    %tokens and nonterminal definitions can occur *multiple* times in the
44    same specification.  The semantics are such that each new declaration
45    extends the previous ones.  This does not apply to %start or %name,
46    of course.
47    
48    Importing a grammar via %import now includes *all* declarations in from
49    the imported grammar, except for %name, %entry, and %start.  Tokens
50    and nonterminals can be dropped using the new %dropping clause of the
51    %import directive; the separate %drop and %extend have been removed.
52    
53    We now allow optional type annotations on nonterminals, using the %nonterms
54    directive as in ml-yacc.
55    
56    The refcell construct is now implemented using SML's regular reference
57    cells, so the :== and !! notation has been deprecated.
58    
59    The ml-antlr tool now does much more checking of specifications, and
60    its error messages have been greatly improved.  Error repair for
61    generated parsers has been completely rewritten, and is now both
62    much faster and more accurate.
63    
64    ml-ulex is now more lenient with escape codes (non-SML-standard
65    escape codes are now interpreted literally, so e.g. \| denotes "|").
66    Also, character classes may now include a "-" character at the beginning
67    as is standard in most other regexp tools.
68    
69    All of these changes are documented in the user guide, which has
70    been updated and improved with this merge.
71    
72    ----------------------------------------------------------------------
73  Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)  Name: David MacQueen (http://www.cs.uchicago.edu/~jhr)
74  Date: 2007/05/03  Date: 2007/05/03
75  Revision: r2492  Revision: r2492
# Line 25  Line 81 
81  and improvements in printing signatures.  and improvements in printing signatures.
82    
83  ----------------------------------------------------------------------  ----------------------------------------------------------------------
84    Name: Aaron Turon (http://www.cs.uchicago.edu/~adrassi)
85    Date: 2007/05/02
86    Description:
87    
88    Preliminary commit of large ml-lpt revisions (more to come for 110.64).
89    The ml-antlr specification format has changed: declarations such as
90    %tokens and nonterminal definitions can occur *multiple* times in the
91    same specification.  The semantics are such that each new declaration
92    extends the previous ones.  Grammar extension constructs have also
93    changed.  We now allow type annotations on nonterminals.  Finally,
94    the refcell construct is now implemented using SML's regular reference
95    cells, so the :== and !! notation has been deprecated.  All of these
96    changes will appear in the 110.64 user guide for ml-lpt.
97    
98    The ml-antlr tool now does much more checking of specifications, and
99    its error messages have been greatly improved.  There has also been
100    some work on the error repair process for generated parsers, but this
101    will be further improved in 110.64.
102    
103    ----------------------------------------------------------------------
104  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)  Name: John Reppy (http://www.cs.uchicago.edu/~jhr)
105  Date: 2007/04/24  Date: 2007/04/24
106  Description:  Description:

Legend:
Removed from v.2578  
changed lines
  Added in v.2579

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