Changes between Version 10 and Version 11 of GhciDebugger


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

--

Legend:

Unmodified
Added
Removed
Modified
  • GhciDebugger

    v10 v11  
    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.