Gergely Buday wrote:
on a large program I got an error message of almost 180 thousand lines.
0:0-0:0: Some constructor unification variables are undetermined in declaration
(look for them as "<UNIF:...>")
It seemed to be too difficult to figure out what the problem is, but
then a simple search for UNIF showed me a function, for which
supplying a return type solved the problem.
I suggest that the compiler should trim down the output to the
functions in which those UNIF variables are present. Adam, what do you
think of this?
I agree. This has been on my to-do list for a while. I hope I'll get
to it soon! (At least the present error message scheme presents all the
information needed to diagnose the problem.)
_______________________________________________
Ur mailing list
[email protected]
http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
