mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2025-12-13 12:53:53 +00:00
Code Issues Projects Releases Wiki Activity

Fix spelling.

Browse Source
This commit is contained in:
Peter Wang
2020-04-15 14:46:20 +10:00
parent 06234d9b44
commit e6f6baebfd
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
tests/warnings/occurs.m
View File

@@ -44,7 +44,7 @@ test(A, B, X, Y, Z, MaybeFixpoint) :-
( if
disable_warning [suspected_occurs_check_failure] (
% We should not get a warning for this occurs check
% violatiom because the warnings has been disabled.
% violation because the warning has been disabled.
A = [_A2, _A3, _A4 | A]
)
then
@@ -55,7 +55,7 @@ test(A, B, X, Y, Z, MaybeFixpoint) :-
Program = program(0),
Interpretation = set.make_singleton_set("xyzzy"),
% We should not get a warning for this occurs check violatiom
% We should not get a warning for this occurs check violation
% because the function symbol involved is not a *data* constructor.
( if Interpretation = tp(Program, Interpretation) then
MaybeFixpoint = "have reached fixpoint"