Changes between Version 10 and Version 11 of GhciDebugger
- Nov 14, 2006 5:11:56 PM (7 years ago)
v10 v11 103 103 === Compensating Wrapper Constructors === 104 104 Worker 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 108 108 109 109 In 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.