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 4414, Mon Sep 18 20:20:11 2017 UTC revision 4415, Mon Sep 18 20:38:19 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
97    function in FLINT/trans/translate.sml was adding a redundant default
98    rule by calling ElabUtil.completeMatch after a default rule had
99    already been explicitly added to the match for a let binding.
100    +
101    owner:[David MacQueen,http://cs.uchicago.edu/~dbm]
102    
103    //--------------------------------------------------------------------
104    [2017/09/18]::
105    +
106  Fixed bug bugref:[183] (status code returned by sml REPL).  This fix  Fixed bug bugref:[183] (status code returned by sml REPL).  This fix
107  restores the version 110.79 behavior of having +sml foo.sml+ exit with  restores the version 110.79 behavior of having +sml foo.sml+ exit with
108  a non-zero status when there is a type-checking error in ++foo.sml++.  a non-zero status when there is a type-checking error in ++foo.sml++.

Legend:
Removed from v.4414  
changed lines
  Added in v.4415

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