[m-dev.] diff: avoid spurious warnings for unbound type vars

[David Glen JEFFERY]

On 06-Mar-1999, Fergus Henderson <fjh at cs.mu.OZ.AU> wrote:
> The following diff fixes spurious errors and warnings that would result
> in many cases.  Type inference stops as soon as any pass gets any type
> errors, and so it may leave some type variables still not yet bound.
> Checking for unbound type variables after that therefore results in 
> spurious diagnostics that are just flow-on messages caused by the
> earlier error.

Looks fine.


dgj
-- 
David Jeffery (dgj at cs.mu.oz.au) |  Marge: Homer, is this how you pictured
PhD student,                    |         married life?
Dept. of Comp. Sci. & Soft. Eng.|  Homer: Yup, pretty much... except we
The University of Melbourne     |         drove around in a van solving
Australia                       |         mysteries.