Changes between Version 13 and Version 14 of GhciDebugger


Ignore:
Timestamp:
Dec 1, 2006 4:51:49 PM (9 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 ===