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 4297, Mon Sep 12 17:10:10 2016 UTC revision 4298, Mon Sep 12 18:33:48 2016 UTC
# Line 54  Line 54 
54    
55  Sub lists should be bracketed with lines containing just "--".  Sub lists should be bracketed with lines containing just "--".
56  Bulleted list items start with a single dash or one to five  Bulleted list items start with a single dash or one to five
57  asterisks followed by some white space then some text. Numberd  asterisks followed by some white space then some text. Numbered
58  list items begin one to five period characters, followed by  list items begin one to five period characters, followed by
59  some white space then the item text.  some white space then the item text.
60    
# Line 90  Line 90 
90  //====================================================================  //====================================================================
91  // == Recent updates  // == Recent updates
92    
93    //--------------------------------------------------------------------
94    [2016/09/12]::
95    +
96    Fixed bug bugref:[149] (Datatype replication exposes hidden constructors).
97    Added boolean field +stripped+ to DATATYPE variant of tyckind in
98    +compiler/ElabData/types/types.sml+ with default value +false+.
99    +stripped+ is set to true when a datatype is matched with a simple
100    +type+ spec in signature matching, and datatypes with +stripped+ set
101    to true are disallowed in datatype replications.
102    +
103    Files changed:
104    --
105    - compiler/ElabData/types/types.sig
106    - compiler/ElabData/types/types.sml
107    - compiler/ElabData/types/typesutil.sml
108    - compiler/ElabData/types/core-basictypes.sml
109    - compiler/Elaborator/types/basictypes.sml
110    - compiler/Elaborator/types/eqtypes.sml
111    - compiler/Elaborator/modules/evalent.sml
112    - compiler/Elaborator/modules/sigmatch.sml
113    - compiler/Elaborator/modules/instantiate.sml
114    - compiler/Elaborator/print/ppabsyn.sml
115    - compiler/Elaborator/print/pptype.sml
116    - compiler/Elaborator/elaborate/elabcore.sml
117    - compiler/Elaborator/elaborate/elabmod.sml
118    - compiler/Elaborator/elaborate/elabtype.sml
119    - compiler/Elaborator/elaborate/elabsig.sml
120    - compiler/Semant/pickle/pickmod.sml
121    - compiler/Semant/pickle/unpickmod.sml
122    - compiler/MiscUtil/print/ppobj.sml
123    - compiler/FLINT/trans/transtypes.sml
124    - compiler/FLINT/trans/pequal.sml
125    --
126    +
127    owner:[Dave MacQueen,http://cs.uchicago.edu/~dbm]
128    
129  //====================================================================  //====================================================================
130  == Version 110.80; 2016/08/19  == Version 110.80; 2016/08/19
131    

Legend:
Removed from v.4297  
changed lines
  Added in v.4298

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