Changes between Version 5 and Version 6 of NoDatatypeContexts


Ignore:
Timestamp:
Jul 20, 2010 12:03:18 PM (4 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NoDatatypeContexts

    v5 v6  
    7171`foo` is `"2"`. Likewise it is possible that a program will fail to compile when datatype contexts are removed. However, in practice removing datatype contexts is unlikely to affect the behaviour of any real programs. 
    7272 
    73 What it will do is to make some previously illegal programs legal. However, we do not believe that the power that this provides is worth the burden the language construct places on implementors, documentors and educators. Other extensions being worked on, such as GADTs, have a much higher power to weight ratio. 
     73What removing the datatype contexts from a source file ''will'' do is make some previously illegal programs legal. However, we do not believe that the power that the datatype contexts feature provides is worth the burden the language construct places on implementors, documentors and educators. Other extensions being worked on, such as GADTs, have a much higher power to weight ratio. 
    7474 
    7575== Current usage ==