Changes between Version 57 and Version 58 of TypeFunctions


Ignore:
Timestamp:
Sep 9, 2006 1:41:08 AM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v57 v58  
    3737 * In an export and import list we currently cannot explicitly list ATs in brackets after the class name (as all upper case names in such brackets are read as data constructors, not type constructors). 
    3838 * Instances of indexed data and new types may not overlap (as such instances correspond to indeterminate type functions).  Type equations may only overlap if the equations coincide at critical pairs.  (Rational: We cannot be more lazy about checking overlap, as we otherwise cannot guarantee that we generate an F,,C,, program that fulfils the formal consistency criterion.) 
     39 * To enable indexed type families, the switch `-findexed-types` needs to be used (which is implied by `-fglasgow-exts`). 
    3940 
    4041Restrictions: 
    41  * We currently don't allow associated GADTs. I cannot see any fundamental problem in supporting them, but I want to keep it simple for the moment. (When allowing this, a constructor signature in an associated GADT can of course only refine the instantiation of the type arguments specific to the instance in which the constructor is defined.) 
     42 * We currently don't allow indexed GADTs. I cannot see any fundamental problem in supporting them, but I want to keep it simple for the moment. (When allowing this, a constructor signature in an associated GADT can of course only refine the instantiation of the type arguments specific to the instance in which the constructor is defined.) 
    4243 
    4344