Changes between Version 6 and Version 7 of NoDatatypeContexts


Ignore:
Timestamp:
Jul 20, 2010 11:04:40 PM (5 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NoDatatypeContexts

    v6 v7  
    101101Making these packages buildable is assumed to be as simple as removing the datatype contexts, but this has not been verified.
    102102
     103=== Discussion ===
     104
     105The proposal was discussed in
     106http://www.haskell.org/pipermail/haskell-prime/2010-July/003249.html
     107
     108In 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.
     109
     110It 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).
     111
     112It 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.
     113
    103114== Report Delta ==
    104115