Gergely Buday wrote:
I don't understand the question. As I said, the full set of constant field names exists in every context without declaration.But I getUnbound constructor variable iter for augmenting a record type definition with iter = int The code compiles without this addition.
Constant record field names are capitalized. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
