Changes between Version 5 and Version 6 of Commentary/Compiler/TypeType

Timestamp:

09/14/06 13:27:02 (7 years ago)

Author:

nr

Comment:

--

Commentary/Compiler/TypeType

@@ -51 +51 @@
 Invariant: if the head of a type application is a {{{TyCon}}}, GHC ''always'' uses the {{{TyConApp}}} constructor, not {{{AppTy}}}.
 This invariant is maintained internally by 'smart constructors'.
+A similar invariant applies to {{{FunTy}}}; {{{TyConApp}}} is never used with an arrow type.
 
 == Kinds ==