mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-16 18:03:36 +00:00
Code Issues Projects Releases Wiki Activity
Files
master
mercury/tests/warnings/simple_code.err_exp
Zoltan Somogyi 458b2a5fef Improve more warnings. 
compiler/add_type.m:
compiler/purity.m:
compiler/simplify_goal_call.m:
compiler/simplify_goal_disj.m:
compiler/typecheck_error_undef.m:
compiler/unused_args.m:
    Improve the wording of some warnings, and add color to some others.

tests/invalid_purity/impure_func_t3.err_exp:
tests/warnings/bug311.err_exp:
tests/warnings/purity_warnings.err_exp:
tests/warnings/simple_code.err_exp:
tests/warnings/subtype_order.err_exp:
tests/warnings/unused_args_test.err_exp:
tests/warnings/warn_stubs.err_exp:
    Expect the updated warnings.
2024-12-15 10:55:55 +11:00

2.3 KiB
Raw Permalink Blame History

simple_code.m:014: Warning: this disjunct will never have any solutions.
simple_code.m:019: Warning: the condition of this if-then-else cannot fail.
simple_code.m:022: In clause for `p(in, out)':
simple_code.m:022: warning: unification of `X' and 2 cannot succeed.
simple_code.m:022: `X' has instantiatedness `unique(3)'.
simple_code.m:024: Warning: the condition of this if-then-else cannot succeed.
simple_code.m:029: Warning: the condition of this if-then-else cannot succeed.
simple_code.m:032: Warning: the negated goal cannot fail.
simple_code.m:032: Warning: the negated goal cannot succeed.
simple_code.m:034: Warning: the condition of this if-then-else cannot succeed.
simple_code.m:037: Warning: the negated goal cannot succeed.
simple_code.m:039: Warning: the condition of this if-then-else cannot fail.
simple_code.m:043: Warning: call to obsolete predicate
simple_code.m:043: `simple_code.obsolete1'/0.
simple_code.m:044: Warning: call to obsolete predicate
simple_code.m:044: `simple_code.obsolete2'/0.
simple_code.m:044: The suggested replacement is `pred42'/0.
simple_code.m:045: Warning: call to obsolete predicate
simple_code.m:045: `simple_code.obsolete3'/0.
simple_code.m:045: The possible suggested replacements are `pred42'/0 and
simple_code.m:045: `wonderful.pred43'/0.
simple_code.m:048: Warning: the condition of this if-then-else cannot fail.
simple_code.m:080: In clause for `r(in(bound(1)), out(bound(42)))':
simple_code.m:080: in argument 1 of clause head:
simple_code.m:080: warning: unification of `HeadVar__1' and 2 cannot succeed.
simple_code.m:080: `HeadVar__1' has instantiatedness `bound(1)'.
simple_code.m:114: Warning: recursive call to predicate `anc'/2 will lead to
simple_code.m:114: infinite recursion.
For more information, recompile with `-E'.