lewie 2001/05/17 16:16:14 PDT Modified files: src preds.c prelude.h Log: This is really mostly a test commit. This helps hugs along w/ some of the more `interesting' fundep examples, but a final solution it is not. When checking entailment of a derived instance decl, you check entailment of each predicate in the context. Each of these checks may give rise to more opportunities for `improvement'. This patch adds an improvement step in between entailment checks. Revision Changes Path 1.28 +3 -2 hugs98/src/preds.c 1.17 +4 -4 hugs98/src/prelude.h