type errors

Matthew Fluet fluet@cs.cornell.edu
Thu, 14 Feb 2002 17:44:13 -0500 (EST)


> I don't see a painless way to print "+" instead of "operatorPlus"
> (other than to tranlsate the name back).  Maybe the right thing is to
> keep the original name as "+", and do the renaming in the codegens.

I don't mind; honestly, it's the line number more than the error that I'm
interested in.