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 /doc/trunk/src/changelog/HISTORY.txt
ViewVC logotype

Diff of /doc/trunk/src/changelog/HISTORY.txt

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

revision 4059, Mon Apr 20 20:04:00 2015 UTC revision 4060, Fri May 29 07:28:12 2015 UTC
# Line 87  Line 87 
87    
88  // == Recent updates  // == Recent updates
89    
90    //--------------------------------------------------------------------
91    [2015/05/27]::
92    +
93    Added support for SuccessorML lexical extensions:
94    --
95      - "_" as a separator in numeric literals; e.g., ++123_456++, ++0wxff_ff_ff_f3++,
96        ++123_456.1++, ...
97    
98      - end-of-line comments, which are denoted using ++(*)++.  End-of-line comments
99        properly nest into conventional block comments.  For example, the following
100        block comment is well formed:
101    +
102    [source,sml]
103    ------------
104    (*
105    fun f x = x (*) my identity function *)
106    *)
107    ------------
108    +
109      - binary literals for both integers and words; e.g., ++0b0101_1110++, or
110        ++0wb1101++.
111    --
112    owner:[John Reppy,http://cs.uchicago.edu/~jhr]
113    
114  //====================================================================  //====================================================================
115  == Version 110.78; 2014/12/24  == Version 110.78; 2014/12/24
116    
# Line 5581  Line 5605 
5605  //--------------------------------------------------------------------  //--------------------------------------------------------------------
5606  [2002/02/14]::  [2002/02/14]::
5607  +  +
5608    --
5609  Fixed the MLRISC bug sent by Markus Wenzel regarding the compilation  Fixed the MLRISC bug sent by Markus Wenzel regarding the compilation
5610  of Isabelle on the x86.  of Isabelle on the x86.
5611  +  +
# Line 5620  Line 5645 
5645      time or runtime).  This bug caused the RA (especially on the x86)      time or runtime).  This bug caused the RA (especially on the x86)
5646      to go thru the potential spill phase when there are still nodes on the      to go thru the potential spill phase when there are still nodes on the
5647      freeze queue.      freeze queue.
5648    --
5649  +  +
5650  owner:[Lal George]  owner:[Lal George]
5651    
# Line 5643  Line 5669 
5669  //--------------------------------------------------------------------  //--------------------------------------------------------------------
5670  [2002/02/13]::  [2002/02/13]::
5671  +  +
5672  1. More tweaks to ml-nlffigen:  --
5673    . More tweaks to ml-nlffigen:
5674  +  +
5675     - better internal datastructures (resulting in slight speedup)     - better internal datastructures (resulting in slight speedup)
5676     - "-match" option requires exact match     - "-match" option requires exact match
# Line 5653  Line 5680 
5680     - bug fixes (related to calculation of transitive closure of types     - bug fixes (related to calculation of transitive closure of types
5681       to be included in the output)       to be included in the output)
5682  +  +
5683  2. Minor Basis updates:  . Minor Basis updates:
5684  +  +
5685     - added implementations for List.collate and Option.app     - added implementations for List.collate and Option.app
5686    --
5687  +  +
5688  owner:[Matthias Blume]  owner:[Matthias Blume]
5689    
# Line 5687  Line 5715 
5715  //--------------------------------------------------------------------  //--------------------------------------------------------------------
5716  [2002/02/08]::  [2002/02/08]::
5717  +  +
5718  1. The installer (config/install.sh) has gotten smarter:  --
5719    . The installer (config/install.sh) has gotten smarter:
5720  +  +
5721    --
5722       - Configuration options are a bit easier to specify now       - Configuration options are a bit easier to specify now
5723         (in config/targets).         (in config/targets).
5724       - Bug in recognizing .tar.bz2 files fixed.       - Bug in recognizing .tar.bz2 files fixed.
# Line 5699  Line 5729 
5729         variable INSTALL_QUIETLY to "true".  "Quieter" does not mean         variable INSTALL_QUIETLY to "true".  "Quieter" does not mean
5730         "completely silent", though.         "completely silent", though.
5731       - Build HashCons library as part of smlnj-lib.       - Build HashCons library as part of smlnj-lib.
5732    --
5733  +  +
5734  2. A new scheme for assigning persistent identifiers to compilation  . A new scheme for assigning persistent identifiers to compilation
5735     units (and, by extension, to types etc.) has been put into place.     units (and, by extension, to types etc.) has been put into place.
5736     This fixes a long-standing bug where types and even dynamic values     This fixes a long-standing bug where types and even dynamic values
5737     can get internally confused, thereby compromising type safety     can get internally confused, thereby compromising type safety
5738     (abstraction) and dynamic correctness.  See     (abstraction) and dynamic correctness.  See
5739  +       http://cm.bell-labs.com/cm/cs/who/blume/pid-confusion.tgz[]
      http://cm.bell-labs.com/cm/cs/who/blume/pid-confusion.tgz  
 +  
5740     for an example of how things could go wrong until now.     for an example of how things could go wrong until now.
5741  +  +
5742     The downside of the new scheme is that pids are not quite as     The downside of the new scheme is that pids are not quite as
# Line 5719  Line 5748 
5748  +  +
5749     Cutoff recompilation, however, has not been compromised because     Cutoff recompilation, however, has not been compromised because
5750     CM keeps pid information in special caches between runs.     CM keeps pid information in special caches between runs.
5751    --
5752  +  +
5753  owner:[Matthias Blume]  owner:[Matthias Blume]
5754    
# Line 5738  Line 5768 
5768  //--------------------------------------------------------------------  //--------------------------------------------------------------------
5769  [2002/02/06]::  [2002/02/06]::
5770  +  +
5771  1. A bug fix from Allen.  --
5772  +  . A bug fix from Allen:
5773      A typo causes extra fstp %st(0)'s to be generated at compensation      A typo causes extra +fstp %st(0)+ instructions to be generated at compensation
5774      edges, which might cause stack underflow traps at runtime.  This      edges, which might cause stack underflow traps at runtime.  This
5775      occurs in fft where there are extraneous fstps right before the 'into'      occurs in fft where there are extraneous fstps right before the +into+
5776      trap instruction (in this case they are harmless since none of the      trap instruction (in this case they are harmless since none of the
5777      integers overflow.)      integers overflow.)
5778  +  . Pulled out various utility modules that were embedded in the modules
 2. Pulled out various utility modules that were embedded in the modules  
5779     of the register allocator. I need these modules for other purposes, but     of the register allocator. I need these modules for other purposes, but
5780     they are not complete enough to put into a library (just yet).     they are not complete enough to put into a library (just yet).
5781    --
5782  +  +
5783  owner:[Lal George]  owner:[Lal George]
5784    
5785  //--------------------------------------------------------------------  //--------------------------------------------------------------------
5786  [2002/01/31]::  [2002/01/31]::
5787  +  +
5788  1. C-calls on Sparc needlessly allocated a huge chunk (96 bytes)  --
5789     of extra stack space by mistake.  Fixed.  . Fixed a bug where C-calls on SPARC needlessly allocated a huge chunk (96 bytes)
5790  +     of extra stack space by mistake.
5791  2. Bug in logic of handling of command-line options in ml-nlffigen fixed.  . Bug in logic of handling of command-line options in ml-nlffigen fixed.
5792    --
5793  +  +
5794  owner:[Matthias Blume]  owner:[Matthias Blume]
5795    
# Line 5766  Line 5797 
5797  [2002/01/30]::  [2002/01/30]::
5798  +  +
5799     MLRISC bug fixes:     MLRISC bug fixes:
5800     1. Fixed a bindings computation bug in the 'nowhere' program generator tool.  --
5801     2. MachineInt.fromString was negating its value.  . Fixed a bindings computation bug in the 'nowhere' program generator tool.
5802    . MachineInt.fromString was negating its value.
5803    --
5804  +  +
5805  owner:[Allen Leung]  owner:[Allen Leung]
5806    
# Line 5814  Line 5847 
5847  //--------------------------------------------------------------------  //--------------------------------------------------------------------
5848  [2002/01/28]::  [2002/01/28]::
5849  +  +
5850  1. Retracted earlier 110.38.  (The Release_110_38 tag has been replaced  --
5851    . Retracted earlier 110.38.  (The Release_110_38 tag has been replaced
5852     with blume-Release_110_38-retracted.)     with blume-Release_110_38-retracted.)
5853  +  
5854  2. Fixed a problem with incorrect rounding modes in real64.sml.  . Fixed a problem with incorrect rounding modes in real64.sml.
5855     (Thanks to Andrew Mccreight <andrew.mccreight@yale.edu>.)     (Thanks to Andrew Mccreight <andrew.mccreight@yale.edu>.)
5856  +  
5857  3. A bug in ml-nlffigen related to the handling of unnamed structs, unions,  . A bug in ml-nlffigen related to the handling of unnamed structs, unions,
5858     and enums fixed.  The naming of corresponding ML identifiers should     and enums fixed.  The naming of corresponding ML identifiers should
5859     now be consistent again.     now be consistent again.
5860    --
5861  +  +
5862  owner:[Matthias Blume]  owner:[Matthias Blume]
5863    
# Line 7134  Line 7169 
7169  +  +
7170    MLRISC features.    MLRISC features.
7171  +  +
7172    1. Fix to CMPXCHG instructions.    1. Fix to +CMPXCHG+ instructions.
7173    2. Changed RA interface to allow annotations in callbacks.    2. Changed RA interface to allow annotations in callbacks.
7174    3. Added a new method to the stream interface to allow annotations updates.    3. Added a new method to the stream interface to allow annotations updates.
7175  +  +

Legend:
Removed from v.4059  
changed lines
  Added in v.4060

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