Changes between Version 8 and Version 9 of GhciDebugger


Ignore:
Timestamp:
Nov 8, 2006 11:13:49 AM (9 years ago)
Author:
mnislaih
Comment:

Handling of wrapper constructors

Legend:

Unmodified
Added
Removed
Modified
  • GhciDebugger

    v8 v9  
    101101 3. refine the type of the subterms (inductively) with the reconstructed type.  
    102102 
     103=== Compensating Wrapper Constructors === 
     104Worker and Wrapper constructors are a potential headache. The arguments list gets extended with: 
     105- Existential Dictionaries 
     106- Type equality coercions (?) 
     107- Type Class dictionaries 
     108 
     109In 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.  
     110 
     111So to recap, all what is being done to compensate is drop the first (n - m) arguments where: 
     112n - # arguments of the original constructor 
     113m - # arguments of the wrapper constructor, if any, or worker constructor 
    103114 
    104115=== About handling suspensions in the interactive environment === 
     
    266277Interruption at unexpected conditions (expections). 
    267278 
     279 
     280Rewrite of the Term pretty printer at RtClosureInspect.hs 
     281Rewrite of the type recovery code 
    268282''Put together all the small todos here''