samth
2018-10-24 17:11:24

@lexi.lambda btw, that bug does impact one package whose tests now fail in the pre release


lexi.lambda
2018-10-24 17:12:26

@samth I have a fix. I’m just adding some more test cases, and then I’ll push it (and ask it to be included in 7.1). Thank you for catching it!


samth
2018-10-24 17:12:52

Awesome


samth
2018-10-24 17:13:23

Thanks for the mflatt-esque quick turnaround


lexi.lambda
2018-10-24 17:13:50

It was, fortunately, just a small typo. :)


paul
2018-10-24 22:44:51

I need help with phases. I’m working on the “Phases” subsection in eval-model.scrbl. It contains a lot of information but does not include a succinct explanation of the purpose of phases. I’ve looked through the documentation and found copious details about phases, but still no succinct justification for them. Can anyone point me at a high-level explanation of the need for phases?