On Tue 14 Jan 2020 15:47, Stefan Israelsson Tampe <stefan.ita...@gmail.com> writes:
> Yes, your patch is indicating when you should use the same identity > e.g. all uses of procedures in a higher order position such as an > argument or a return value. But I looked at your patch, which looks > good but I saw that for operator position you decrease the count. Why? > Also you are free to use one version in argument / return position and > another one in operator position the only limit is to use the same > identity for on operator position. Finally don't you need to count > usage of returning a variable as well? Not sure what the bug is. Do you have a test case that shows the behavior that you think is not good? Andy