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/non_term_user_special.err_exp
Zoltan Somogyi f9b3e8ad26 Add color to some warnings. 
compiler/post_term_analysis.m:
    Add color to a warning message.

compiler/typecheck_error_overload.m:
    Add color to a second warning message. Separate independent parts
    of this message by blank lines, and simplify some of the text.

compiler/error_util.m:
    Add a utility predicate to help construct the updated diagnostic
    in typecheck_error_overload.m.

compiler/typecheck_error_util.m:
    Generalize an existing utility predicate for use by the updated diagnostic
    in typecheck_error_overload.m.

tests/invalid/ambiguous_overloading_error.err_exp:
tests/invalid/bad_ambiguity_msg.err_exp:
tests/invalid/max_error_line_width.err_exp:
tests/warnings/ambiguous_overloading.err_exp:
tests/warnings/non_term_user_special.err_exp:
    Expect the updated diagnostics.
2024-12-14 02:21:17 +11:00

538 B
Raw Permalink Blame History

non_term_user_special.m:011: Warning: the user-defined comparison predicate for
non_term_user_special.m:011: the type `non_term_user_special.myset'/1 cannot
non_term_user_special.m:011: be proven to terminate.
non_term_user_special.m:011: Warning: the user-defined equality predicate for
non_term_user_special.m:011: the type `non_term_user_special.myset'/1 cannot
non_term_user_special.m:011: be proven to terminate.