Changes between Version 24 and Version 25 of SafeRoles


Ignore:
Timestamp:
Feb 8, 2016 2:50:16 AM (4 years ago)
Author:
dterei
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • SafeRoles

    v24 v25  
    146146exported from a package. This would need to be handled and could complicate the
    147147implementation quite a lot.
     148
     149=== Questions to Answer ===
     150
     1511. How common is exporting just a subset of constructors? I.e., how well will over-approximating which constructors are needed by assuming all constructors for a type work?
     152
     1532. How common are `Coercible` constraints?
     154
     1553. How common is it to *not* export all constructors for a data-type, *not* declare an explicit role, yet desire that the role is *representational*?  I.e., how much would break if we changed the above to be nominal by default when you don't export all constructors?
    148156
    149157== Problem Pre-GHC-7.8 ==