480024cRemove all the handle argumentsDavid Raymond Christiansen12 years ago 1add7b7provide a Handle for IdeSlave, used to read from and write to (instead of hardcoded stdin/stdout) also send protocol-version message when the client connects also accept a single client connection when --ideslave-socket is provided (I don't see any reason to have multiple clients at all!)Hannes Mehnert12 years ago c72d0f4Split elaborator into multiple source filesEdwin Brady12 years ago 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