On second thought, Ben may have been on the trail of a good idea. Instead of reserving capital latin letters for type variables, why not reserve lowercase greek letters, and then define 'a, 'b, etc. as convenience syntax for these...
Or alternatively, stick with the 'blah as the canonical form, but accept the corresponding greek characters as convenience syntax. Not sure I love it, but it's a thought. shap _______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
