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
