It feels like some of the ideas appearing in the editor (e.g. probmods/webppl-editor#35) might also be useful from the command line. e.g. Grouping repeated warnings, the ability to suppress warnings.
Perhaps we need some infrastructure in webppl to handle this that the editor can build on. Also, maybe we have a way to turn the verbosity of warnings up or down in a way that might help with debugging programs?
It feels like some of the ideas appearing in the editor (e.g. probmods/webppl-editor#35) might also be useful from the command line. e.g. Grouping repeated warnings, the ability to suppress warnings.
Perhaps we need some infrastructure in webppl to handle this that the editor can build on. Also, maybe we have a way to turn the verbosity of warnings up or down in a way that might help with debugging programs?