I was going to leave this issue for now but I bumped into it again
today, so I've had a look into it. (It's not something that is holding
me up, just forcing me to put in parentheses where I don't want to!)
This issue was originally noticed because the following term prints back
without paren
On 14/07/11 17:57, Rob Arthan wrote:
2. Decorated global variable name clash
When both C and C' are schema references, (C)' is printed as C' which
is a different term.
In imp064, the problem appears to be in function do_decor. There
appear to be two routes to fixing this:
A. Print in Spivey-Z