cvs commit: hugs98/src preds.c prelude.h

[Jeff Lewis]

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