Changes between Version 6 and Version 7 of NoDatatypeContexts


Ignore:
Timestamp:
Jul 20, 2010 11:04:40 PM (4 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