Changes between Version 8 and Version 9 of Roles2


Ignore:
Timestamp:
May 23, 2014 6:30:38 PM (10 months ago)
Author:
goldfire
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Roles2

    v8 v9  
    33It has become (somewhat) clear that the Roles mechanism as implemented in GHC 7.8 is insufficient. (See [#examples examples] below.) This page is dedicated to creating a new design for roles that might fix the problems, continuing the discussion started in #9123. 
    44 
    5 See also the [wiki:Roles main roles wiki page]. 
     5See also the [wiki:Roles main roles wiki page] and these related tickets: #9117, #9118, #9123, and #9131. 
    66 
    77== [=#examples Problem examples] ==