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