Global Printer objects that any function can use to print messages.
More...
Variables | |
| Compound_printer | info |
| general information | |
| Compound_printer | warn |
| (non-fatal) warnings | |
| Compound_printer | error |
| (fatal) errors | |
Global Printer objects that any function can use to print messages.
These should be used instead of the builtin printing facilities, so that they can be used to redirect the output of the entire program. While making them global variables is conceptually ugly, the convenience benefit over passing references to Printers to any code that might ever want to print something is substantial.