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

More fixes for the reference manual.

Browse Source 
doc/mercury_reference_manual.texi:
    As above.
This commit is contained in:
Julien Fischer
2026-04-11 00:21:56 +10:00
parent 8fe54c3b8f
commit 1dd97768b3
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
doc/mercury_reference_manual.texi
View File

@@ -3454,7 +3454,7 @@ and if @samp{S = f(S1, ..., Sn)}, @samp{S =< T} holds if
@samp{U =< T}.
@end itemize
In other words, if all occurrences of @var{Ri} in @var{U}
are replaced by the corresponding for @var{Si} to give @var{Usub},
are replaced by the corresponding @var{Si} to give @var{Usub},
then @samp{Usub =< T} must hold.
@end itemize
@@ -5859,7 +5859,7 @@ Y = sum
@end example
In the above example,
the type of @code{X}, and @code{Y} is @samp{pred(list(int), int)},
the type of @code{X} and @code{Y} is @samp{pred(list(int), int)},
which means a predicate of two arguments
of types @code{list(int)} and @code{int} respectively.
@@ -7866,7 +7866,7 @@ is induced from a constraint
if and only if the typeclass @samp{@var{Typeclass}}
has a functional dependency @samp{(D1, @dots{} -> R1, @dots{})},
and for each typeclass parameter @samp{Di} there exists an @samp{Aj}
every type variable appearing in the @samp{@var{Typek}}
for every type variable appearing in the @samp{@var{Typek}}
corresponding to @samp{Di},
and each @samp{Bi} appears in the @samp{@var{Typej}}
bound to the typeclass parameter @samp{Rk} for some @var{k}.
@@ -12253,7 +12253,7 @@ The second has the form @samp{tracelevel(shallow)}, or @samp{tracelevel(deep)};
this condition is true (irrespective of grade)
if the module is compiled with at least the specified trace level.
The third has the form @samp{grade(GradeTest)}.
The supported @samp{GradeTests}s and their meanings are as follows.
The supported @samp{GradeTest}s and their meanings are as follows.
@table @asis
@item @samp{debug}