Changes between Version 7 and Version 8 of TypeFunctionsSyntax


Ignore:
Timestamp:
May 14, 2007 12:19:32 PM (8 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctionsSyntax

    v7 v8  
    99=== Family declarations ===
    1010
    11 `HsDecls.TyClDecl` has a new variant `TyFamily` to represent family declarations of all three flavours (i.e., `type family`, `newtype family`, and `data family`).  The new variant comprises the declaration's flavour, name, type parameters, and optionally a result kind signature.  The type parameters can have kind signatures as usual.  The predicate `HsDecls.isFamilyDecl` recognises family declarations.
     11`HsDecls.TyClDecl` has a new variant `TyFamily` to represent family declarations of both flavours (i.e., `type family` and `data family`).  The new variant comprises the declaration's flavour, name, type parameters, and optionally a result kind signature.  The type parameters can have kind signatures as usual.  The predicate `HsDecls.isFamilyDecl` recognises family declarations.
    1212
    1313=== Family instances ===