A wish: type error messages

Tuomas E E Salonen Tuomas.Salonen@Helsinki.FI
Thu, 22 Jan 1998 21:49:32 +0200


Now when program is OK, compiler can (optionally) show all inferred types.
However when an type error in form "demanded type X dos not match type Y"
occurs, this information is not available.

Wish:
Could some future release of compiler (optionally) show some more
information, like recursively the earlier types, witch have lead the
compiler to believe, that the expresson types X and Y are what they seam to
be? Since the real logical error can be elsewear. This would make debugging
easier, I think.

Greetings,
	Tuomas S.