search

koka-lang / koka

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

Gen show / (==) using implicits #426

Open TimWhiting opened 5 months ago

TimWhiting commented 5 months ago

It looks like there is now an issue with generating these due to the expectation in core that (==) is total. It should be, but in general you cannot guarantee non-divergence.

TimWhiting commented 5 months ago

This also adds the start of a pretty printing module for user syntax which I found useful while debugging this.