... | ... | @@ -146,6 +146,21 @@ Doing a Hackage regression test with GHC 6.13.20100710, of the 2219 packages on |
|
|
|
|
|
Making these packages buildable is assumed to be as simple as removing the datatype contexts, but this has not been verified.
|
|
|
|
|
|
### Discussion
|
|
|
|
|
|
|
|
|
The proposal was discussed in
|
|
|
[ http://www.haskell.org/pipermail/haskell-prime/2010-July/003249.html](http://www.haskell.org/pipermail/haskell-prime/2010-July/003249.html)
|
|
|
|
|
|
|
|
|
In the thread, it was pointed out that DrIFT uses the context as a hint for how to derive instances. However, other GP techniques and tools, which do not need the context, can be used instead.
|
|
|
|
|
|
|
|
|
It was also pointed out that they can be used as a hack to give the kind of an unused type variable, but there are other hacks that can be used instead (or the `KindSignatures` extension).
|
|
|
|
|
|
|
|
|
It was also pointed out that we could make the contexts do something useful instead, but there is no proposal for that, and it would probably overlap with other extensions such as existential types and GADTs.
|
|
|
|
|
|
## Report Delta
|
|
|
|
|
|
|
... | ... | |