Split off from issue264 where we made global constants configurable on the commandline. The remaining constants are three DEBUG flags in three
translator modules.
Quoting Malte:
================================================================================
These are intentionally per-module variables. You usually only want debug output
for one module at a time (the one you're debugging ;-)), so separate options
like "--debug-fact-groups", "--debug-simplify" and "--debug-translate" would
make more sense than a general "--debug".
An alternative solution would be to use a configurable logging mechanism with
subloggers for this. This wouldn't be difficult to set up with the
infrastructure that Python has and would immediately give us some nice
additional benefits. For example, it would immediately give us a "debug flag"
for each module that doesn't currently have one, without cluttering the option
space.
================================================================================
|