Changes between Version 9 and Version 10 of GhciDebugger


Ignore:
Timestamp:
Nov 14, 2006 5:11:15 PM (9 years ago)
Author:
mnislaih
Comment:

Formatting

Legend:

Unmodified
Added
Removed
Modified
  • GhciDebugger

    v9 v10  
    103103=== Compensating Wrapper Constructors ===
    104104Worker and Wrapper constructors are a potential headache. The arguments list gets extended with:
    105 - Existential Dictionaries
    106 - Type equality coercions (?)
    107 - Type Class dictionaries
     105* Existential Dictionaries
     106* Type equality coercions (?)
     107* Type Class dictionaries
    108108
    109109In addition, the types of the arguments may change too, but that is not a problem in our case. We always consider the processed types, not the original ones, since what we are going to find in the heap corresponds to the former.
    110110
    111111So to recap, all what is being done to compensate is drop the first (n - m) arguments where:
    112 n - # arguments of the original constructor
    113 m - # arguments of the wrapper constructor, if any, or worker constructor
     112 * n - # arguments of the original constructor
     113 * m - # arguments of the wrapper constructor, if any, or worker constructor
    114114
    115115=== About handling suspensions in the interactive environment ===