Wouldn't it be a good idea for the modified code to actually disallow the use of <|> directly, then? Yes, Fergus, it's a great idea. The modularised version of the program does just that. I figured it was too trivial to bother the mailing list with. -- P
- Wadler's prettier printer Andreas Rossberg
- Re: Wadler's prettier printer Philip Wadler
- Re: Wadler's prettier printer Fergus Henderson
- Philip Wadler