Changes between Version 7 and Version 8 of Commentary/Compiler/HsSynType

Show
Ignore:
Timestamp:
09/14/06 11:18:55 (7 years ago)
Author:
guest
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • Commentary/Compiler/HsSynType

    v7 v8  
    5050    * {{{HsCoerce}}}, in the {{{HsExpr}}} type. 
    5151    * {{{AbsBinds}}}, in the {{{HsBinds}}} type. 
    52     !SLPJ: These are invariably to do with type abstraction and application, since Haskell source is implicitly generalized and instantiated, whereas GHC's intermediate form is explicitly generalized and instantiated. 
     52    SLPJ: These are invariably to do with type abstraction and application, since Haskell source is implicitly generalized and instantiated, whereas GHC's intermediate form is explicitly generalized and instantiated. 
    5353