On Mon, Mar 16, 2015 at 06:01:15PM +0100, Ludovic Courtès wrote: > > How to implement? > > - inject always failing phase into phases list > I’d like to read what others think because I’m probably biased, but my > first reaction is that (1) I’ve rarely if ever felt the need for this, > (2) adding a failing phase is easy to do by hand, and (3) it would be > hard to implement this generically currently (phases are not exposed.)
Agreed. One thing that works when one adds a customised phase is to let it finish with #f. Of course, if everything is standard, one needs to add such a phase, which is a bit of typing. Maybe with Taylan's new syntax, it has become easier. Andreas
