Ah, I have it set up such that when the compiler links to a hint, it goes through a redirect that will allow me to change the content later on. So it should be possible to fix this without a new release or anything.
I’ll have to have a read through the bad-recursion page to see if the best path is:
- Just add a note there
- Have a separate page for when the error is triggered in a
letso people get the exactly relevant information in each scenario.
I suspect (2) is better, but that would need a 0.19.2 to get the compiler output updated, so it’d be a while before that would happen!