Changes between Version 6 and Version 7 of Roles2


Ignore:
Timestamp:
May 22, 2014 7:25:18 PM (16 months ago)
Author:
simonpj
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • Roles2

    v6 v7  
    22
    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.
     4
     5See also the [wiki:Roles main roles wiki page].
    46
    57== [=#examples Problem examples] ==