>>> "Jan" == Jan Nieuwenhuizen <[EMAIL PROTECTED]> writes:
> It it were, we have two type of syntax error: > syntax error: unexpected STRING: foo, expected ... > and > syntax error: unexpected \book, expected ... That could be made using %printer. The only problem is that we would like to output into a string, whereas %printer is made for streams :(
