cvs commit: hugs98/src type.c

Jeff Lewis lewie@glass.cse.ogi.edu
Fri, 7 Dec 2001 10:27:32 -0800 

lewie       2001/12/07 10:27:32 PST

  Modified files:
    src                  type.c 
  Log:
  Bit of a workaround for functional dependencies.  Throw in an extra elimTauts
  towards the end of type inference for bindings to pick up any tautologies
  that arose due to `improvement' as a result of the use of generic instances
  (got that?).
  
  Revision  Changes    Path
  1.37      +6 -2      hugs98/src/type.c