Next: Profiling grade options, Previous: MLDS backend grade options, Up: Grade options [Contents][Index]
--debug (grade modifier: ‘.debug’)Enable Mercury-level debugging. See Debugging for details. This option is supported only when targeting C with ‘--no-high-level-code’.
--decl-debug (grade modifier: ‘.decldebug’)Enable full support for declarative debugging. This allows subterm dependency tracking in the declarative debugger. See Debugging for details. This option is supported only when targeting C with ‘--no-high-level-code’.