7d95becMake type search work in the proverDavid Raymond Christiansen12 years ago 78b2923Correctly count applications of variables in :searchbmsherman12 years ago d7f6164Ignore believe_me in :search since its type is a lie!bmsherman12 years ago e1ba862Find best matching types first in :search with a priority queue.bmsherman12 years ago d19891cDiscover typeclass introduction/elimination in :searchbmsherman12 years ago eec9953In :search, check injectivity to prevent erroneous resultsbmsherman12 years ago e1ef65dUse a priority queue to improve performance when matching types in :searchbmsherman12 years ago 114a307Prevent possibility of unbounded computation in :searchbmsherman12 years ago f91051aIgnore default class methods in :searchbmsherman12 years ago 852301dImprovements to :search, primarily in handling typeclassesbmsherman12 years ago 9c3fefeImprove appearance of type search results.bmsherman12 years ago 7395bdeIn type-directed search, handle an additional possible case when processing unification results.bmsherman12 years ago 60a0c7aNow we can handle typeclasses!bmsherman12 years ago ee02ae9Preliminary version of type-directed searchbmsherman12 years ago