mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
19d8e63a00
Estimated hours taken: 0.25
Branches: main
Address Fergus's review comments about the change
to add unification expressions to the language.
doc/reference_manual.texi:
Be more explicit about the evaluation order
of unification expressions.
Fix some formatting errors.
library/ops.m:
Fix a comment -- `@' is not an ISO Prolog operator,
it is a Mercury extension.
tests/hard_coded/unify_expression.{m,exp}:
Test the evaluation order of unification expressions.
4 lines
54 B
Plaintext
4 lines
54 B
Plaintext
f(1, 2)
|
|
q failed (as expected)
|
|
r failed (as expected)
|