mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 01:13:30 +00:00
Code Issues Projects Releases Wiki Activity

Fix typos.

Browse Source
This commit is contained in:
Zoltan Somogyi
2025-08-11 07:59:38 +02:00
parent ae28a625cc
commit 79f1b9473d
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
doc/mercury_user_guide.texi
View File

@@ -1516,7 +1516,7 @@ and is compatible only with them.
@node Grade modifiers for target language debugging
@subsection Grade modifiers for target language debugging
Mercury programs intended to be debugged
Mercury programs are intended to be debugged
using @command{mdb}, the Mercury debugger.
However, @command{mdb} treats non-Mercury code as a black box,
and cannot give any insights into its behavior.
@@ -1541,7 +1541,7 @@ This is because in LLDS grades,
the assembler-like C code generated by @command{mmc}
will probably confuse debuggers such as @command{gdb},
and it will definitely confuse
any Mercury programmer whose is not a Mercury implementor.
any Mercury programmer who is not a Mercury implementor.
The more idiomatic target language code
that @command{mmc} generates in MLDS grades
is still far from trivial for non-implementors to understand,