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 4000, Fri Dec 19 22:33:49 2014 UTC revision 4001, Sat Dec 20 00:08:33 2014 UTC
# Line 75  Line 75 
75  == Recent updates  == Recent updates
76    
77  //--------------------------------------------------------------------  //--------------------------------------------------------------------
78    [2014/12/19]::
79    +
80    Major revision of the machinery for overloading resolution for both
81    operators (vars) and literals, now using a common mechanism. This fixes
82    bug bugref:[52] by improving the error message when an overloaded
83    operator is inconsistent with its context. 23 files updated, including
84    major changes in +overload.sml+, +types.sml+, +unify.sml+, +elabcore.sml+,
85    +typesutil.sml+. The overload declaration is still used in
86    +pervasives.sml+, where the order of the specified instances of an
87    ordering determines the default interpretation (i.e. the first one).
88    +
89    The +SCHEME+ and +LITERAL+ forms of tyvars are replaced by a new
90    +OVLD+ form that tracks potential instantiations of the type of the
91    overloaded vars or literals.
92    +
93    owner:[David MacQueen,http://cs.uchicago.edu/~dbm]
94    
95    //--------------------------------------------------------------------
96  [2014/12/13]::  [2014/12/13]::
97  +  +
98  Minor cleanup in +Elaborator/elaborate/elabcore+ (function +elabOVERLOADdec+)  Minor cleanup in +Elaborator/elaborate/elabcore+ (function +elabOVERLOADdec+)

Legend:
Removed from v.4000  
changed lines
  Added in v.4001

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