Changes between Version 14 and Version 15 of Commentary/Compiler/TypeChecker


Ignore:
Timestamp:
Jan 15, 2017 7:01:17 AM (3 years ago)
Author:
takenobu
Comment:

add todo comment for compiler/types/TypeRep.lhs

Legend:

Unmodified
Added
Removed
Modified
  • Commentary/Compiler/TypeChecker

    v14 v15  
    7575=== Type Representation ===
    7676
    77 The representation of types is fixed in the module [[GhcModule(compiler/types/TypeRep.lhs)]] and exported as the data type `Type`. Read the comments in the `TypeRep` module!  A couple of points:
     77The representation of types is fixed in the module [[GhcModule(compiler/types/TypeRep.lhs)]] (TODO: Update to the latest information) and exported as the data type `Type`. Read the comments in the `TypeRep` module!  A couple of points:
    7878
    7979 * Type synonym applications are represented as a `TyConApp` with a `TyCon` that contains the expansion.  The expansion is done on-demand by `Type.coreView`.  Unexpanded type synonyms are useful for generating comprehensible error messages.