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