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 4310, Thu Sep 15 01:37:11 2016 UTC revision 4311, Thu Sep 15 04:18:46 2016 UTC
# Line 92  Line 92 
92    
93  [2016/09/14]::  [2016/09/14]::
94  +  +
95    Eliminated dependency of PlambdaType from the front end by adding a
96    type TKind.tkind which is a simplified standin for PlambdaType.tkind
97    for use during elaboration. TKind.tkind values are translated on
98    demand to PlambdaType.tkind in trans/transtypes.sml. Types still has
99    a tycpath type but it is defined using TKind.tkind now. New structure
100    SigPropList replaces ModulePropLists
101    (Semant/modules/module-plists.sml) for use in instantiate.sml.
102    Instantiate is build directly as a structure so the functor
103    application in Semant/modules/instantiate.sml no longer exists.
104    +
105    Files changed:
106    +
107    --
108    - ElabData/basics/debindex.sig  (moved here from Elaborator/basics)
109    - ElabData/basics/debindex.sml  (ditto)
110    - ElabData/basics/sig-plist.sml (new)
111    - ElabData/basics/tkind.sml     (new)
112    - ElabData/types/types.sig
113    - ElabData/types/types.sml
114    - Elaborator/modules/instantiate.sml
115    - Elaborator/print/ppmod.sml
116    - FLINT/trans/transtkind.sml    (new)
117    - FLINT/trans/transtypes.sml
118    - TopLevel/interact/evalloop.sml
119    - ElabData/elabdata.cm
120    - Elaborator/elaborate.cm
121    - core.cm
122    --
123    +
124    owner:[Dave MacQueen,http://cs.uchicago.edu/~dbm]
125    
126    [2016/09/14]::
127    +
128  Added support for Successor ML record-expression-punning syntax.  For  Added support for Successor ML record-expression-punning syntax.  For
129  example, one can now write  example, one can now write
130  ```sml  ```sml
# Line 135  Line 168 
168  to true are disallowed in datatype replications.  to true are disallowed in datatype replications.
169  +  +
170  Files changed:  Files changed:
171    +
172  --  --
173  - compiler/ElabData/types/types.sig  - compiler/ElabData/types/types.sig
174  - compiler/ElabData/types/types.sml  - compiler/ElabData/types/types.sml

Legend:
Removed from v.4310  
changed lines
  Added in v.4311

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