... | @@ -46,7 +46,7 @@ The current plan is to steam forward to the end of the year, and begin to get re |
... | @@ -46,7 +46,7 @@ The current plan is to steam forward to the end of the year, and begin to get re |
|
|
|
|
|
- **Injective type families**[\[InjectiveTypeFamilies](injective-type-families)\]. Jan Stolarek (with support from Richard Eisenberg and Simon PJ) is working on adding injective type families to GHC. With this feature it will be possible to annotate declaration of a type family - closed, open or associated with class - with injectivity annotation and GHC will be able to use that information during type checking.
|
|
- **Injective type families**[\[InjectiveTypeFamilies](injective-type-families)\]. Jan Stolarek (with support from Richard Eisenberg and Simon PJ) is working on adding injective type families to GHC. With this feature it will be possible to annotate declaration of a type family - closed, open or associated with class - with injectivity annotation and GHC will be able to use that information during type checking.
|
|
|
|
|
|
- **Safe Haskell & Overlapping Instances** \[[SafeHaskell/NewOverlappingInstances](safe-haskell/new-overlapping-instances)\]. David Terei has overhauled how overlapping instances work under Safe Haskell. This greatly expands the number of regular Haskell programs that work under Safe Haskell and makes use of the new per-instance overlapping instances added in GHC 7.10. It also unifies how overlapping instances work when inferring a modules safety, vs. explicit use of `-XSafe`. A bug in the previous design.
|
|
- **Safe Haskell & Overlapping Instances**[SafeOverlappingInstances](safe-haskell/new-overlapping-instances). David Terei has overhauled how overlapping instances work under Safe Haskell. This greatly expands the number of regular Haskell programs that work under Safe Haskell and makes use of the new per-instance overlapping instances added in GHC 7.10. It also unifies how overlapping instances work when inferring a modules safety, vs. explicit use of `-XSafe`. A bug in the previous design.
|
|
|
|
|
|
- **Safe Haskell, GND & Roles** \[[SafeRoles](safe-roles)\]. David Terei and Richard Eisenberg are currently discussing possible changes to how Roles should work to allow them to be included in the safe-language of Safe Haskell. These are early discussions with no changes yet planned, but they'd love any feedback. The wiki page contains a wealth of information. Both the background and possible paths forward.
|
|
- **Safe Haskell, GND & Roles** \[[SafeRoles](safe-roles)\]. David Terei and Richard Eisenberg are currently discussing possible changes to how Roles should work to allow them to be included in the safe-language of Safe Haskell. These are early discussions with no changes yet planned, but they'd love any feedback. The wiki page contains a wealth of information. Both the background and possible paths forward.
|
|
|
|
|
... | | ... | |