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 4311, Thu Sep 15 04:18:46 2016 UTC revision 4315, Thu Sep 15 23:20:13 2016 UTC
# Line 90  Line 90 
90  //====================================================================  //====================================================================
91  // == Recent updates  // == Recent updates
92    
93    [2016/09/15]::
94    +
95    Further cleanup of the separation of FLINT from the front-end.
96    Eliminated all references to ModulePropLists (module-plists.sml) in
97    the front end and pickling, and moved module-plists from
98    Semant/modules to FLINT/trans.  ModulePropLists is now only used
99    in FLINT/trans/translate.sml.
100    +
101    Revision: 4314
102    +
103    Files changed:
104    +
105    --
106    - compiler/ElabData/modules/modules.sml  (cleaned up)
107    - compiler/Elaborator/print/ppmod.sml (cleaned up)
108    - compiler/FLINT/trans/module-plists.sml (moved from Semant/modules)
109    - compiler/Semant/modules/instantiate-param.sml (deleted)
110    - compiler/Semant/pickle/pickmod.sml (no longer mentions property lists)
111    - compiler/Semant/pickle/unpickmod.sml (ditto)
112    - compiler/Semant/statenv/prim.sml
113    - compiler/Semant/types/tp-var-info.sml  (deleted)
114    - compiler/core.cm  (modified for move of module-plists.sml)
115    --
116    +
117    owner:[Dave MacQueen,http://cs.uchicago.edu/~dbm]
118    
119    
120  [2016/09/14]::  [2016/09/14]::
121  +  +
122  Eliminated dependency of PlambdaType from the front end by adding a  Eliminated dependency of PlambdaType from the front end by adding a

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

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