Closed hal-ler closed 7 years ago
Thanks for the comment Istvan. Can you be more precise?
Look at the pseudo-code in the paper and how it handles recursion. The pseudo-code is the right way to do things. This code is not. Also you still simplify pointer types to a single id.
Thanks. Feel free to send in a patch.
This is the second time I had to report it. The first report led to an errata claiming that the code was changed to the correct implementation. This one is better, but it still does not match the paper. Was this ever implemented correctly?