search

koka-lang / koka

Koka language compiler and interpreter
http://koka-lang.org
Other
3.16k stars 151 forks source link

fix hidden operator name #382

Closed TimWhiting closed 6 months ago

TimWhiting commented 7 months ago

This is an issue I ran into when an operator was specialized to a tail call. There was a fix that was commented out (wasn't working fully), but I fixed the fix. :) - The dash also needed to be ascii encoded.

TimWhiting commented 6 months ago

@daanx I added a simple reproducible test for this one. Not sure what to do about the output of the test though. The problem is when loading an interface file, which doesn't happen for a regular test compile. (You should be able to reproduce by removing the changes in Name.hs, and then compiling test/syntax/trmc-operator.kk and then test/syntax/trmc-operator2.kk).

daanx commented 6 months ago

Thanks! However, I am currently redoing names for the dev-overload branch with the locally qualified names and I will try to find a more robust solution -- so for now, I think it is better to not merge yet.