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 4416, Mon Sep 18 20:39:57 2017 UTC revision 4417, Mon Sep 18 20:43:36 2017 UTC
# Line 93  Line 93 
93  //--------------------------------------------------------------------  //--------------------------------------------------------------------
94  [2017/09/18]::  [2017/09/18]::
95  +  +
96  Fixed bug bugref:[123] (missing nonexhaustive bind warning). The mkVBs  Fixed bug bugref:[123] (missing nonexhaustive bind warning). The +mkVBs+
97  function in FLINT/trans/translate.sml was adding a redundant default  function in +FLINT/trans/translate.sml++ was adding a redundant default
98  rule by calling ElabUtil.completeMatch after a default rule had  rule by calling ++ElabUtil.completeMatch++ after a default rule had
99  already been explicitly added to the match for a let binding.  already been explicitly added to the match for let bindings.
100  +  +
101  owner:[David MacQueen,http://cs.uchicago.edu/~dbm]  owner:[David MacQueen,http://cs.uchicago.edu/~dbm]
102    

Legend:
Removed from v.4416  
changed lines
  Added in v.4417

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