mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
e6c245092a
compiler/parse_goal.m:
Fix typo: A <= B was parsed as B => B.
tests/hard_coded/Mmakefile:
tests/hard_coded/implication.exp:
tests/hard_coded/implication.m:
Add test case.
NEWS:
Announce change.
17 lines
97 B
Plaintext
17 lines
97 B
Plaintext
implication:
|
|
ok
|
|
ok
|
|
ok
|
|
ok
|
|
reverse implication:
|
|
ok
|
|
ok
|
|
ok
|
|
ok
|
|
logical equivalence:
|
|
ok
|
|
ok
|
|
ok
|
|
ok
|
|
done.
|