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 4419, Mon Sep 18 21:53:44 2017 UTC revision 4420, Mon Sep 18 21:55:29 2017 UTC
# Line 93  Line 93 
93  //--------------------------------------------------------------------  //--------------------------------------------------------------------
94  [2017/09/18]::  [2017/09/18]::
95  +  +
96    Removed FLINT primops (and their CPS counterparts) that are not
97    in the +InlineT+ structure and, thus, are never used by the compiler.
98    +
99    owner:[John Reppy,http://cs.uchicago.edu/~jhr]
100    
101    //--------------------------------------------------------------------
102    [2017/09/18]::
103    +
104  Fixed bug bugref:[123] (missing nonexhaustive bind warning). The +mkVBs+  Fixed bug bugref:[123] (missing nonexhaustive bind warning). The +mkVBs+
105  function in +FLINT/trans/translate.sml++ was adding a redundant default  function in +FLINT/trans/translate.sml++ was adding a redundant default
106  rule by calling ++ElabUtil.completeMatch++ after a default rule had  rule by calling ++ElabUtil.completeMatch++ after a default rule had

Legend:
Removed from v.4419  
changed lines
  Added in v.4420

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