Changes between Version 74 and Version 75 of TypeFunctions


Ignore:
Timestamp:
May 14, 2007 11:58:22 AM (7 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v74 v75  
    6767 * 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.) 
    6868 * FFI signatures do not look through indexed newtypes nor through indexed synonyms.  (The main reason for not looking through indexed synonyms is as they may occur in the rhs of a vanilla newtype.) 
    69  * To enable indexed type families, the switch `-findexed-types` needs to be used (which is implied by `-fglasgow-exts`). 
     69 * To enable indexed type families, the switch `-ftype-families` needs to be used (which is implied by `-fglasgow-exts`). 
    7070 
    7171Restrictions: