[m-rev.] [m-users.] Debugger, setting initial breakpoint not triggering

[Zoltan Somogyi]

2022-12-14 12:11 GMT+11:00 "Julien Fischer" <jfischer at opturion.com>:
>> So according to the documentation then, what
>> does --enable-hlc-low-level-debug-grades actually do for me if it
>> isn't provding me with a debug grade for hlc?
> 
> The .ll_debug grades prepare the C code generated by the Mercury
> compiler for debugging with a C debugger (e.g. gdb).  As Zoltan
> mentioned the main use for this is debugging issues in the Mercury->C
> code generator.

To reduce the chance of confusion, we should rename this configure
option to either --enable-hlc-TARGET-level-debug-grades or
--enable-hlc-gdb-grades, or something similar. The latter is
more expressive, and should get the point across better, even though
gdb is not the only debugger for C. We could mention that fact
in the one-line help message for that option.

Zoltan.