Phantom compile errors in interactive compiler about koka

[TimWhiting]

Actually this is now fixed on dev.

[anfelor]

@daanx This is due to the identifier tail in -> repro/min-by-rec<a>(tail, ordering, default, (ordering(x)), x); being parsed as the tail fip keyword. In this line the try parseFip parser succeeds while consuming input (due to the catch-all case of a tail but non-fip function) Then, the next line fails but the try keyword does not span that line. I would suggest moving the try keyword to span both the parseFip and the dockeyword "fun" in the parser.

[anfelor]

Great, I can confirm that this is fixed! There is another occurrence of try parseFip in inlineDefSort -- while there is currently no danger of this going wrong, I would recommend fixing that as well since confusingly try parseFip == parseFip. Should I push a fix?

[TimWhiting]

Let's avoid that change for now. Daan has changed some parsing on the branch dev-overload, and we should wait for that to be merged.