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 4333, Sat Apr 29 15:39:27 2017 UTC revision 4334, Sat Apr 29 16:28:42 2017 UTC
# Line 142  Line 142 
142  +  +
143  Further cleanup of the separation of FLINT from the front-end.  Further cleanup of the separation of FLINT from the front-end.
144  Eliminated all references to +ModulePropLists+ (+module-plists.sml+) in  Eliminated all references to +ModulePropLists+ (+module-plists.sml+) in
145  the front end and pickling, and moved module-plists from  the front end and in pickling, and moved ++module-plists++ from
146  Semant/modules to FLINT/trans.  +ModulePropLists+ is now only used  ++Semant/modules++ to ++FLINT/trans++.  +ModulePropLists+ is now only used
147  in +FLINT/trans/translate.sml+.  in +FLINT/trans/translate.sml+.
148  +  +
149  Revision: 4314  Revision: 4314
# Line 167  Line 167 
167  //--------------------------------------------------------------------  //--------------------------------------------------------------------
168  [2016/09/14]::  [2016/09/14]::
169  +  +
170  Eliminated dependency of PlambdaType from the front end by adding a  Eliminated dependency of ++PlambdaType++ from the front end by adding a
171  type TKind.tkind which is a simplified standin for PlambdaType.tkind  type ++TKind.tkind++ which is a simplified standin for ++PlambdaType.tkind++
172  for use during elaboration. TKind.tkind values are translated on  for use during elaboration. ++TKind.tkind++ values are translated on
173  demand to PlambdaType.tkind in trans/transtypes.sml. Types still has  demand to ++PlambdaType.tkind++ in ++trans/transtypes.sml++. Types still has
174  a tycpath type but it is defined using TKind.tkind now. New structure  a ++tycpath++ type but it is defined using ++TKind.tkind++ now. The new structure
175  SigPropList replaces ModulePropLists  ++SigPropList++ replaces ++ModulePropLists++
176  (Semant/modules/module-plists.sml) for use in instantiate.sml.  (++Semant/modules/module-plists.sml++) for use in ++instantiate.sml++.
177  Instantiate is build directly as a structure so the functor  ++Instantiate++ is now defined directly as a structure so the functor
178  application in Semant/modules/instantiate.sml no longer exists.  application in ++Semant/modules/instantiate.sml++ no longer exists.
179  +  +
180  Files changed:  Files changed:
181  +  +
# Line 202  Line 202 
202  [2016/09/14]::  [2016/09/14]::
203  +  +
204  Added support for Successor ML record-expression-punning syntax.  For  Added support for Successor ML record-expression-punning syntax.  For
205  example, one can now write  example, one can now define a function ++f++ as
206  ```sml  +
207    [source,sml]
208    ----------------
209  fun f x = {x}  fun f x = {x}
210  ```  ----------------
211  which defines a function with type `'a -> {x:'a}`.  +
212    which is equivalent to the definition
213    +
214    [source,sml]
215    ----------------
216    fun f x = {x = x}
217    ----------------
218  +  +
219  owner:[John Reppy,http://cs.uchicago.edu/~jhr]  owner:[John Reppy,http://cs.uchicago.edu/~jhr]
220    

Legend:
Removed from v.4333  
changed lines
  Added in v.4334

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