Changes between Version 1 and Version 2 of TypeFunctionsSyntax


Ignore:
Timestamp:
Aug 9, 2006 7:46:17 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSyntax

    v1 v2  
    1515We recognise both forms of kind signatures by the predicate `HsDecls.isKindSigDecl`. 
    1616 
    17 === Definitions of indexed types === 
     17=== Instances of indexed types === 
    1818 
    1919We represent type functions and indexed data and newtypes by generalising type synonym declarations `TySynonym` and data type declarations `TyData` to allow patterns ofr type indexes instead of just type variables as parameters.  In both variants, we do so by way of the field `tcdPats` of type `Maybe [LHsType name]`, used as follows: