Changes between Version 12 and Version 13 of TypeFunctions


Ignore:
Timestamp:
Jul 28, 2006 9:22:14 PM (9 years ago)
Author:
chak
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • TypeFunctions

    v12 v13  
    3131== How It Works == 
    3232 
    33 === Syntax of type function === 
     33=== Syntax of type functions === 
    3434 
    3535Kind signatures are represented by the new declaration form `TyKindSig`.  Syntactically, we recognise kind signatures by either not having an RHS at all (in which the result kind implicitly is *) or having a result kind separated from the head by {{{::}}}.  We require that every type equation has a kind signature in scope.  However, the degenerate case of a type equation where all type arguments are variables is valid without a kind signature (in fact, it may not have any) and coincides with the type synonyms of vanilla Haskell.