Hi, 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? - Gergely _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
