mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-16 14:25:56 +00:00
Expand an explanation.
Estimated hours taken: 0.1 Branches: main runtime/mercury_conf_param.h: Expand an explanation.
This commit is contained in:
@@ -249,7 +249,11 @@
|
||||
** This works even if none of the MR_DEBUG_AGC_* macros are enabled.
|
||||
**
|
||||
** MR_TABLE_DEBUG
|
||||
** Enables low-level debugging messages from the tabling system.
|
||||
** Enables low-level debugging messages from the parts of the tabling
|
||||
** system that rely on hand-written code in the runtime system's
|
||||
** libraries. Low level debugging messages from code generated by the
|
||||
** Mercury compiler, even if using macros defined in the runtime
|
||||
** directory, are controlled by the --table-debug option of mmc.
|
||||
**
|
||||
** MR_DEBUG_RETRY
|
||||
** Enables low-level debugging messages from retry operations in the
|
||||
|
||||
Reference in New Issue
Block a user