No. I often use that style, and I even prefer it to the alternatives that you suggest. I like being able to read definitions in a simple linear order, so that it's always clear what each symbol refers to.
How about to enable such redefitions in local defs but not on toplevel? Will it be optimal solution? Large modules may be easily turned to incomprehensible entangled mess due to several different equally named definitions. Vag. _______________________________________________ Ur mailing list [email protected] http://www.impredicative.com/cgi-bin/mailman/listinfo/ur
