Changes between Version 26 and Version 27 of GhciDebugger


Ignore:
Timestamp:
Apr 26, 2007 8:28:52 AM (8 years ago)
Author:
mnislaih
Comment:

formatting

Legend:

Unmodified
Added
Removed
Modified
  • GhciDebugger

    v26 v27  
    114114
    115115This is a summary of how things go. The user invokes :print on some binding and `pprintClosureCommand` does:
    116  - use `obtainTerm` to construct the term. This computes the most concrete possible type.
    117  - unify the old and new types to compute a substitution.
    118  - instantiate the range of the substitution with skolem tyvars
    119  - apply the substitution to all the types in the environment, including the old type
     116 1. use `obtainTerm` to construct the term. This computes the most concrete possible type.
     117 1. unify the old and new types to compute a substitution.
     118 1. instantiate the range of the substitution with skolem tyvars
     119 1. apply the substitution to all the types in the environment, including the old type
    120120
    121121One more detail, newtypes need to be flattened before doing the unification step;