Appearance
| 1 | namespace Logging is | |
| 2 | use Source.LOCATION | |
| 3 | ||
| 4 | // A listener for every error as it is reported, whichever | |
| 5 | // speculation level it lands in and whether or not it is later | |
| 6 | // rolled back. The inference trace installs one so a body's walks | |
| 7 | // show what each reported, not only what survived. | |
| 8 | class DIAGNOSTIC_TRACE is | |
| 9 | on_error: ((LOCATION, string) -> void)? static public | |
| 10 | si | |
| 11 | si |