Changes between Version 4 and Version 5 of NoDatatypeContexts


Ignore:
Timestamp:
Jul 18, 2010 8:01:38 PM (4 years ago)
Author:
igloo
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • NoDatatypeContexts

    v4 v5  
    5050 
    5151When we would expect the compiler to have the instance already available, in actual fact we have to provide it ourselves. The problem is that the constraint is not actually on the datatype, but rather, on the type of the constructor. Worse, the dictionary is not stored in the constructor, but simply discarded. 
     52 
     53=== Effect of removing datatype contexts === 
    5254 
    5355It is possible to write programs whose behaviour changes when datatype contexts are removed, e.g. with: