All occurrences of the same type variable must have the same uniqueness attribute. I've never been able to figure out the why.
Edsko _______________________________________________ clean-list mailing list [email protected] http://mailman.science.ru.nl/mailman/listinfo/clean-list
