Changes between Version 13 and Version 14 of GhciDebugger


Ignore:
Timestamp:
Dec 1, 2006 4:51:49 PM (7 years ago)
Author:
mnislaih
Comment:

Some more notes on type refinement dumbness

Legend:

Unmodified
Added
Removed
Modified
  • GhciDebugger

    v13 v14  
    184184 
    185185Note how the type of the binding `r` gets updated during the debugging session. 
     186 
     187This piece of smartness is actually quite dumb and in need of improvement. The criteria to decide whether a new type is more specific than the previous is to unify both and check that the substitution: 
     188 * Binds at least one vars from the old type to some concrete type (i.e. no vars to vars bindings) 
     189 * Binds no vars from the new type 
     190 
     191I just noticed that this won't detect refinements as: `Either a b` goes to `Either a a`  
     192 
     193There is probably an easy to formulate optimum criteria, but I can't figure it out for now :( 
    186194 
    187195=== Pretty printing of terms ===