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
Files
master
mercury/tests/warnings/redundant_coerce.err_exp
Peter Wang dcc24fd07d Include variable name in coerce type error messages. 
compiler/typecheck.m:
compiler/typecheck_errors.m:
    As above.

tests/invalid/coerce_clobbered.err_exp:
tests/invalid/coerce_int.err_exp:
tests/invalid/coerce_mode_error.err_exp:
tests/invalid/coerce_non_du.err_exp:
tests/invalid/coerce_type_error.err_exp:
tests/invalid/coerce_unify_tvars.err_exp:
tests/invalid/coerce_uniq.err_exp:
tests/warnings/redundant_coerce.err_exp:
    Update expected outputs.
2024-07-03 11:36:10 +10:00

822 B
Raw Permalink Blame History

redundant_coerce.m:035: In clause for predicate `test1'/0:
redundant_coerce.m:035: warning: type conversion of `V_4' from
redundant_coerce.m:035: `maybe.maybe(int)' to the same type is redundant.
redundant_coerce.m:039: In clause for predicate `test2'/0:
redundant_coerce.m:039: warning: type conversion of `X' from
redundant_coerce.m:039: `redundant_coerce.box(redundant_coerce.fruit)' to the
redundant_coerce.m:039: same type is redundant.
redundant_coerce.m:049: In clause for predicate `test3'/0:
redundant_coerce.m:049: warning: type conversion of `X' from
redundant_coerce.m:049: `redundant_coerce.maybe_box(redundant_coerce.citrus)'
redundant_coerce.m:049: to the same type is redundant.