mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-15 09:23:44 +00:00
Use the agreed wording in foreign_proc diagnostics.
compiler/add_foreign_proc.m:
Use the agreed wording *consistently* in the diagnostics
generated by this module.
Also, delete a call to the test for builtins that I recently
accidentally duplicated instead of just moving.
tests/invalid/foreign_proc_dup_var.err_exp:
tests/invalid/foreign_purity_mismatch.err_exp:
tests/invalid/fp_dup_bug.err_exp:
tests/invalid/pragma_qual_error.err_exp:
tests/warnings/foreign_singleton.err_exp:
tests/warnings/singleton_test.err_exp:
tests/warnings/warn_return.err_exp:
tests/warnings/warn_succ_ind.err_exp:
Expect the updated wording for all those diagnostics.
This commit is contained in:
Zoltan Somogyi
@@ -123,16 +123,18 @@ add_foreign_proc(ProgressStream, ItemMercuryStatus, PredStatus, FPInfo,
|
||||
!PredInfo, !ModuleInfo),
|
||||
decide_actual_thread_safety(Globals, Attributes0, Attributes),
|
||||
|
||||
report_if_fproc_is_for_builtin(!.ModuleInfo, !.PredInfo, Context,
|
||||
AllowedToAdd, !Specs),
|
||||
report_if_fproc_is_for_imported_pred(!.PredInfo, Context,
|
||||
Lang = get_foreign_language(Attributes),
|
||||
report_if_fproc_is_for_imported_pred(!.PredInfo, Lang, Context,
|
||||
ImportedFprocSpecs),
|
||||
report_if_fproc_is_for_builtin(!.ModuleInfo, !.PredInfo, Lang, Context,
|
||||
AllowedToAdd, !Specs),
|
||||
pragma_get_vars_and_var_infos(PragmaVars, ArgVars, _ArgInfos),
|
||||
check_foreign_proc_arg_list(PFSymNameArity, ProgVarSet, ArgVars,
|
||||
Context, ArgListSpecs),
|
||||
Lang, Context, ArgListSpecs),
|
||||
StoppingSpecs = ImportedFprocSpecs ++ ArgListSpecs,
|
||||
!:Specs = StoppingSpecs ++ !.Specs,
|
||||
check_foreign_proc_purity(!.PredInfo, Attributes0, Context, !Specs),
|
||||
check_foreign_proc_purity(!.PredInfo, Attributes, Lang, Context,
|
||||
!Specs),
|
||||
|
||||
( if
|
||||
( AllowedToAdd = not_allowed_to_add_foreign_proc
|
||||
@@ -142,7 +144,7 @@ add_foreign_proc(ProgressStream, ItemMercuryStatus, PredStatus, FPInfo,
|
||||
true
|
||||
else
|
||||
compute_intended_proc_id(!.ModuleInfo, !.PredInfo,
|
||||
PFSymNameArity, PragmaVars, Context, MaybeProcId),
|
||||
PFSymNameArity, PragmaVars, Attributes, Context, MaybeProcId),
|
||||
(
|
||||
MaybeProcId = error(BadProcSpec),
|
||||
!:Specs = [BadProcSpec | !.Specs]
|
||||
@@ -284,11 +286,11 @@ is_foreign_proc_for_this_backend(Globals, Attributes, ForThisBackend) :-
|
||||
% if the procedure it is for actually exists.
|
||||
%
|
||||
:- pred compute_intended_proc_id(module_info::in, pred_info::in,
|
||||
pf_sym_name_arity::in, list(pragma_var)::in, prog_context::in,
|
||||
maybe_error(proc_id, error_spec)::out) is det.
|
||||
pf_sym_name_arity::in, list(pragma_var)::in, foreign_proc_attributes::in,
|
||||
prog_context::in, maybe_error(proc_id, error_spec)::out) is det.
|
||||
|
||||
compute_intended_proc_id(ModuleInfo, PredInfo, PFSymNameArity,
|
||||
PragmaVars, Context, MaybeProcId) :-
|
||||
PragmaVars, Attributes, Context, MaybeProcId) :-
|
||||
pred_info_get_proc_table(PredInfo, Procs),
|
||||
map.to_assoc_list(Procs, ExistingProcs),
|
||||
pragma_get_modes(PragmaVars, Modes),
|
||||
@@ -307,7 +309,8 @@ compute_intended_proc_id(ModuleInfo, PredInfo, PFSymNameArity,
|
||||
then
|
||||
MaybeProcId = ok(ProcId)
|
||||
else
|
||||
Spec = report_fproc_for_undeclared_mode(PFSymNameArity, Context),
|
||||
Spec = report_fproc_for_undeclared_mode(PFSymNameArity,
|
||||
Attributes, Context),
|
||||
MaybeProcId = error(Spec)
|
||||
).
|
||||
|
||||
@@ -388,46 +391,18 @@ handle_wrong_backend_foreign_proc(ItemMercuryStatus, PredId, !.PredInfo,
|
||||
|
||||
% Add the pragma_foreign_proc goal to the clauses_info for this procedure.
|
||||
% To do so, we must also insert unifications between the variables in the
|
||||
% pragma foreign_proc declaration and the head vars of the pred. Also
|
||||
% return the hlds_goal.
|
||||
% pragma foreign_proc declaration and the head vars of the pred.
|
||||
%
|
||||
:- pred clauses_info_add_foreign_proc(module_info::in, pred_or_func::in,
|
||||
module_name::in, string::in, pred_id::in, proc_id::in,
|
||||
list(pragma_var)::in, list(mer_type)::in,
|
||||
purity::in, foreign_proc_attributes::in,
|
||||
prog_context::in, pragma_foreign_proc_impl::in,
|
||||
clauses_info::in, clauses_info::out,
|
||||
list(pragma_var)::in, list(mer_type)::in, purity::in,
|
||||
foreign_proc_attributes::in, prog_context::in,
|
||||
pragma_foreign_proc_impl::in, clauses_info::in, clauses_info::out,
|
||||
list(error_spec)::in, list(error_spec)::out) is det.
|
||||
|
||||
clauses_info_add_foreign_proc(ModuleInfo, PredOrFunc, PredModuleName, PredName,
|
||||
PredId, ProcId, PragmaVars, OrigArgTypes,
|
||||
Purity, Attributes0, Context, PragmaImpl0,
|
||||
!ClausesInfo, !Specs) :-
|
||||
module_info_pred_info(ModuleInfo, PredId, PredInfo),
|
||||
report_if_fproc_is_for_builtin(ModuleInfo, PredInfo, Context,
|
||||
AllowedToAdd, !Specs),
|
||||
(
|
||||
AllowedToAdd = not_allowed_to_add_foreign_proc
|
||||
;
|
||||
AllowedToAdd = allowed_to_add_foreign_proc,
|
||||
clauses_info_do_add_foreign_proc(ModuleInfo, PredOrFunc,
|
||||
PredModuleName, PredName, PredId, PredInfo, ProcId,
|
||||
PragmaVars, OrigArgTypes, Purity, Attributes0,
|
||||
Context, PragmaImpl0, !ClausesInfo, !Specs)
|
||||
).
|
||||
|
||||
:- pred clauses_info_do_add_foreign_proc(module_info::in, pred_or_func::in,
|
||||
module_name::in, string::in, pred_id::in, pred_info::in, proc_id::in,
|
||||
list(pragma_var)::in, list(mer_type)::in,
|
||||
purity::in, foreign_proc_attributes::in,
|
||||
prog_context::in, pragma_foreign_proc_impl::in,
|
||||
clauses_info::in, clauses_info::out,
|
||||
list(error_spec)::in, list(error_spec)::out) is det.
|
||||
|
||||
clauses_info_do_add_foreign_proc(ModuleInfo,
|
||||
PredOrFunc, PredModuleName, PredName, PredId, PredInfo, ProcId,
|
||||
PragmaVars, OrigArgTypes, Purity, Attributes0,
|
||||
Context, PragmaImpl, !ClausesInfo, !Specs) :-
|
||||
clauses_info_add_foreign_proc(ModuleInfo, PredOrFunc,
|
||||
PredModuleName, PredName, PredId, ProcId, PragmaVars, OrigArgTypes,
|
||||
Purity, Attributes0, Context, PragmaImpl, !ClausesInfo, !Specs) :-
|
||||
% Our caller should have already added this foreign_proc to ItemNumbers.
|
||||
!.ClausesInfo = clauses_info(VarSet0, ExplicitVarTypes,
|
||||
VarTable, RttiVarMaps, TVarNameMap, HeadVars, ClausesRep0,
|
||||
@@ -444,6 +419,7 @@ clauses_info_do_add_foreign_proc(ModuleInfo,
|
||||
globals.get_target(Globals, Target),
|
||||
NewLang = get_foreign_language(Attributes0),
|
||||
PredFormArity = arg_list_arity(OrigArgTypes),
|
||||
module_info_pred_info(ModuleInfo, PredId, PredInfo),
|
||||
AllProcIds = pred_info_all_procids(PredInfo),
|
||||
get_clause_list_for_replacement(ClausesRep0, Clauses0),
|
||||
add_foreign_proc_update_existing_clauses(Globals, PredOrFunc,
|
||||
@@ -667,23 +643,25 @@ add_foreign_proc_update_existing_clauses(Globals, PredOrFunc,
|
||||
% for imported predicates/functions. Note that this applies to
|
||||
% *plain* imported predicates/functions, not the *opt-imported* ones.
|
||||
%
|
||||
:- pred report_if_fproc_is_for_imported_pred(pred_info::in, prog_context::in,
|
||||
list(error_spec)::out) is det.
|
||||
:- pred report_if_fproc_is_for_imported_pred(pred_info::in,
|
||||
foreign_language::in, prog_context::in, list(error_spec)::out) is det.
|
||||
|
||||
report_if_fproc_is_for_imported_pred(PredInfo, Context, Specs) :-
|
||||
report_if_fproc_is_for_imported_pred(PredInfo, Lang, Context, Specs) :-
|
||||
( if pred_info_is_imported(PredInfo) then
|
||||
LangStr = foreign_language_string(Lang),
|
||||
PredOrFunc = pred_info_is_pred_or_func(PredInfo),
|
||||
pred_info_get_sym_name(PredInfo, PredSymName),
|
||||
user_arity(UserArityInt) = pred_info_user_arity(PredInfo),
|
||||
SNA = sym_name_arity(PredSymName, UserArityInt),
|
||||
Pieces = [words("Error:"), pragma_decl("foreign_proc"),
|
||||
words("declarations are allowed only for predicates and"),
|
||||
words("functions defined in the current module, but"),
|
||||
p_or_f(PredOrFunc)] ++
|
||||
color_as_incorrect([qual_sym_name_arity(SNA)]) ++
|
||||
[words("is")] ++
|
||||
color_as_incorrect([words("imported.")]) ++
|
||||
[nl],
|
||||
Pieces = [words("Error: this"), words(LangStr),
|
||||
words("foreign_proc is for")] ++
|
||||
color_as_subject([qual_sym_name_arity(SNA), suffix(",")]) ++
|
||||
[words("which is an")] ++
|
||||
color_as_incorrect([words("imported")]) ++
|
||||
[p_or_f(PredOrFunc), suffix("."),
|
||||
pragma_decl("foreign_proc"), words("declarations are allowed"),
|
||||
words("only for predicates and functions"),
|
||||
words("defined in the current module."), nl],
|
||||
Spec = spec($pred, severity_error, phase_pt2h, Context, Pieces),
|
||||
Specs = [Spec]
|
||||
else
|
||||
@@ -697,10 +675,11 @@ report_if_fproc_is_for_imported_pred(PredInfo, Context, Specs) :-
|
||||
; not_allowed_to_add_foreign_proc.
|
||||
|
||||
:- pred report_if_fproc_is_for_builtin(module_info::in, pred_info::in,
|
||||
prog_context::in, maybe_allowed_to_add_foreign_proc::out,
|
||||
foreign_language::in, prog_context::in,
|
||||
maybe_allowed_to_add_foreign_proc::out,
|
||||
list(error_spec)::in, list(error_spec)::out) is det.
|
||||
|
||||
report_if_fproc_is_for_builtin(ModuleInfo, PredInfo, Context,
|
||||
report_if_fproc_is_for_builtin(ModuleInfo, PredInfo, Lang, Context,
|
||||
AllowedToAdd, !Specs) :-
|
||||
( if pred_info_is_builtin(PredInfo) then
|
||||
AllowedToAdd = not_allowed_to_add_foreign_proc,
|
||||
@@ -712,14 +691,18 @@ report_if_fproc_is_for_builtin(ModuleInfo, PredInfo, Context,
|
||||
AllowDefnOfBuiltin),
|
||||
(
|
||||
AllowDefnOfBuiltin = no,
|
||||
LangStr = foreign_language_string(Lang),
|
||||
pred_info_get_sym_name(PredInfo, SymName),
|
||||
PredOrFunc = pred_info_is_pred_or_func(PredInfo),
|
||||
user_arity(UserArityInt) = pred_info_user_arity(PredInfo),
|
||||
SNA = sym_name_arity(SymName, UserArityInt),
|
||||
Pieces = [words("Error:")] ++
|
||||
color_as_incorrect([words("you cannot redefine")]) ++
|
||||
[words("a builtin"), p_or_f(PredOrFunc), words("such as")] ++
|
||||
color_as_subject([qual_sym_name_arity(SNA), suffix(".")]) ++
|
||||
Pieces = [words("Error: this"), words(LangStr),
|
||||
words("foreign_proc is for the")] ++
|
||||
color_as_subject([qual_sym_name_arity(SNA)]) ++
|
||||
[p_or_f(PredOrFunc), suffix(","), words("which is a")] ++
|
||||
color_as_incorrect([words("builtin")]) ++ [words("operation."),
|
||||
words("Redefinitions of builtin operations are")] ++
|
||||
color_as_incorrect([words("not allowed.")]) ++
|
||||
[nl],
|
||||
Spec = spec($pred, severity_error, phase_pt2h, Context, Pieces),
|
||||
!:Specs = [Spec | !.Specs]
|
||||
@@ -732,16 +715,17 @@ report_if_fproc_is_for_builtin(ModuleInfo, PredInfo, Context,
|
||||
|
||||
%---------------------%
|
||||
|
||||
:- func report_fproc_for_undeclared_mode(pf_sym_name_arity, prog_context)
|
||||
= error_spec.
|
||||
:- func report_fproc_for_undeclared_mode(pf_sym_name_arity,
|
||||
foreign_proc_attributes, prog_context) = error_spec.
|
||||
|
||||
report_fproc_for_undeclared_mode(PFSymNameArity, Context) = Spec :-
|
||||
report_fproc_for_undeclared_mode(PFSymNameArity, Attributes, Context) = Spec :-
|
||||
Lang = get_foreign_language(Attributes),
|
||||
LangStr = foreign_language_string(Lang),
|
||||
PFSymNameArity = pf_sym_name_arity(PredOrFunc, PredSymName, PredFormArity),
|
||||
user_arity_pred_form_arity(PredOrFunc, UserArity, PredFormArity),
|
||||
UserArity = user_arity(UserArityInt),
|
||||
SNA = sym_name_arity(PredSymName, UserArityInt),
|
||||
Pieces = [words("Error:"),
|
||||
pragma_decl("foreign_proc"), words("declaration for")] ++
|
||||
Pieces = [words("Error:"), words(LangStr), words("foreign_proc for")] ++
|
||||
color_as_incorrect([words("undeclared mode")]) ++
|
||||
[words("of"), p_or_f(PredOrFunc)] ++
|
||||
color_as_subject([qual_sym_name_arity(SNA), suffix(".")]) ++
|
||||
@@ -761,11 +745,10 @@ report_duplicate_foreign_proc(PredOrFunc, PredModuleName, PredName,
|
||||
PFSymNameArity = pf_sym_name_arity(PredOrFunc, PredSymName, PredFormArity),
|
||||
LangStr = foreign_language_string(Lang),
|
||||
PiecesA = [words("Error:")] ++
|
||||
color_as_incorrect([words("duplicate"),
|
||||
pragma_decl("foreign_proc"), words("declaration")]) ++
|
||||
color_as_incorrect([words("duplicate"), words(LangStr),
|
||||
words("foreign_proc")]) ++
|
||||
[words("for this mode of"),
|
||||
unqual_pf_sym_name_pred_form_arity(PFSymNameArity),
|
||||
words("in"), words(LangStr), suffix("."), nl],
|
||||
unqual_pf_sym_name_pred_form_arity(PFSymNameArity), suffix("."), nl],
|
||||
PiecesB = [words("The first one was here."), nl],
|
||||
MsgA = msg(NewContext, PiecesA),
|
||||
MsgB = msg(FirstClauseContext, PiecesB),
|
||||
@@ -781,33 +764,36 @@ report_bad_foreign_proc_in_dot_opt_file(WrongBackendCause, Context, !Specs) :-
|
||||
(
|
||||
WrongBackendCause = wrong_lang(PragmaLang, BackendForeignLangs),
|
||||
PragmaLangStr = foreign_language_string(PragmaLang),
|
||||
FrontPieces = [words("Error:"), pragma_decl("foreign_proc"),
|
||||
words("declaration in a .opt file for a foreign language,"),
|
||||
words(PragmaLangStr), suffix(",")],
|
||||
FrontPieces = [words("Error: this foreign_proc is for")] ++
|
||||
color_as_incorrect([words(PragmaLangStr), suffix(",")]),
|
||||
(
|
||||
BackendForeignLangs = [],
|
||||
unexpected($pred, "BackendForeignLangs = []")
|
||||
;
|
||||
BackendForeignLangs = [BackendForeignLang],
|
||||
BackendLangStr = foreign_language_string(BackendForeignLang),
|
||||
MainPieces = FrontPieces ++ [words("which differs from"),
|
||||
words("the only language supported by the current backend,"),
|
||||
words("which is"), words(BackendLangStr), suffix("."), nl]
|
||||
MainPieces = FrontPieces ++ [words("but the only language"),
|
||||
words("supported by the current backend is")] ++
|
||||
color_as_correct([words(BackendLangStr), suffix(".")]) ++
|
||||
[nl]
|
||||
;
|
||||
BackendForeignLangs = [_, _ | _],
|
||||
BackendLangStrs =
|
||||
list.map(foreign_language_string, BackendForeignLangs),
|
||||
BackendLangsStr = fixed_list_to_pieces("and", BackendLangStrs),
|
||||
BackendLangsStr =
|
||||
fixed_list_to_color_pieces(color_correct, "and", [suffix(".")],
|
||||
BackendLangStrs),
|
||||
MainPieces = FrontPieces ++ [words("which is not one of the"),
|
||||
words("languages supported by the current backend,"),
|
||||
words("which are")] ++ BackendLangsStr ++ [suffix("."), nl]
|
||||
words("languages supported by the current backend."),
|
||||
words("The supported languages are")] ++
|
||||
BackendLangsStr ++ [nl]
|
||||
)
|
||||
;
|
||||
WrongBackendCause = right_lang_wrong_backend,
|
||||
MainPieces = [words("Error:"), pragma_decl("foreign_proc"),
|
||||
words("declaration in a .opt file"),
|
||||
words("whose backend attribute states that"),
|
||||
words("it is not for the current grade."), nl]
|
||||
MainPieces = [words("Error: this foreign_proc"),
|
||||
words("has a backend attribute that states that")] ++
|
||||
color_as_incorrect([words("it is not for the current grade.")]) ++
|
||||
[nl]
|
||||
),
|
||||
Pieces = MainPieces ++ [words("This indicates that the .opt file"),
|
||||
words("was generated for a different grade."),
|
||||
@@ -824,9 +810,10 @@ report_bad_foreign_proc_in_dot_opt_file(WrongBackendCause, Context, !Specs) :-
|
||||
% predicate/function, since in that case they will differ anyway.
|
||||
%
|
||||
:- pred check_foreign_proc_purity(pred_info::in, foreign_proc_attributes::in,
|
||||
prog_context::in, list(error_spec)::in, list(error_spec)::out) is det.
|
||||
foreign_language::in, prog_context::in,
|
||||
list(error_spec)::in, list(error_spec)::out) is det.
|
||||
|
||||
check_foreign_proc_purity(PredInfo, Attributes, Context, !Specs) :-
|
||||
check_foreign_proc_purity(PredInfo, Attributes, Lang, Context, !Specs) :-
|
||||
pred_info_get_markers(PredInfo, PredMarkers),
|
||||
( if
|
||||
( marker_is_present(PredMarkers, marker_promised_pure)
|
||||
@@ -840,12 +827,14 @@ check_foreign_proc_purity(PredInfo, Attributes, Context, !Specs) :-
|
||||
( if ForeignAttributePurity = PredPurity then
|
||||
true
|
||||
else
|
||||
LangStr = foreign_language_string(Lang),
|
||||
pred_info_get_pf_sym_name_arity(PredInfo, PFSymNameArity),
|
||||
PFSymNameArity =
|
||||
pf_sym_name_arity(PredOrFunc, _PredSymName, _PredFormArity),
|
||||
purity_name(ForeignAttributePurity, ForeignAttributePurityStr),
|
||||
purity_name(PredPurity, PredPurityStr),
|
||||
Pieces = [words("Error: foreign clause for"),
|
||||
Pieces = [words("Error: this"), words(LangStr),
|
||||
words("foreign_proc for"),
|
||||
unqual_pf_sym_name_pred_form_arity(PFSymNameArity),
|
||||
words("has purity")] ++
|
||||
color_as_incorrect([words(ForeignAttributePurityStr),
|
||||
@@ -863,20 +852,21 @@ check_foreign_proc_purity(PredInfo, Attributes, Context, !Specs) :-
|
||||
% Check for arguments occurring more than once.
|
||||
%
|
||||
:- pred check_foreign_proc_arg_list(pf_sym_name_arity::in, prog_varset::in,
|
||||
list(prog_var)::in, prog_context::in, list(error_spec)::out) is det.
|
||||
list(prog_var)::in, foreign_language::in, prog_context::in,
|
||||
list(error_spec)::out) is det.
|
||||
|
||||
check_foreign_proc_arg_list(PFSymNameArity, ProgVarSet, ArgVars, Context,
|
||||
check_foreign_proc_arg_list(PFSymNameArity, ProgVarSet, ArgVars, Lang, Context,
|
||||
Specs) :-
|
||||
bag.init(ArgVarBag0),
|
||||
bag.insert_list(ArgVars, ArgVarBag0, ArgVarBag),
|
||||
bag.to_list_only_duplicates(ArgVarBag, MultiplyOccurringArgVars),
|
||||
(
|
||||
MultiplyOccurringArgVars = [_ | _],
|
||||
Pieces1 = [words("In"), pragma_decl("foreign_proc"),
|
||||
words("declaration for"),
|
||||
LangStr = foreign_language_string(Lang),
|
||||
Pieces1 = [words("Error in"), words(LangStr),
|
||||
words("foreign_proc for"),
|
||||
unqual_pf_sym_name_pred_form_arity(PFSymNameArity),
|
||||
suffix(":"), nl,
|
||||
words("error:")],
|
||||
suffix(":"), nl],
|
||||
(
|
||||
MultiplyOccurringArgVars = [MultiplyOccurringArgVar],
|
||||
BadVarPiece =
|
||||
@@ -949,7 +939,7 @@ warn_singletons_in_pragma_foreign_proc(ModuleInfo, PragmaImpl, Lang,
|
||||
not marker_is_present(PredMarkers, marker_fact_table_semantic_errors)
|
||||
then
|
||||
variable_warning_start(UnmentionedVars, VarPieces, DoDoes),
|
||||
Pieces = [words("In the"), words(LangStr), words("code for"),
|
||||
Pieces = [words("In the"), words(LangStr), words("foreign_proc for"),
|
||||
unqual_pf_sym_name_pred_form_arity(PFSymNameArity),
|
||||
suffix(":"), nl,
|
||||
words("warning:")] ++ VarPieces ++
|
||||
@@ -1029,7 +1019,7 @@ check_fp_body_for_success_indicator(ModuleInfo, Lang, Context, PFSymNameArity,
|
||||
( if list.member(SuccIndStr, BodyPieces) then
|
||||
LangStr = foreign_language_string(Lang),
|
||||
Pieces = [words("Warning: the"), fixed(LangStr),
|
||||
words("code for"),
|
||||
words("code in the foreign_proc for"),
|
||||
unqual_pf_sym_name_pred_form_arity(PFSymNameArity)] ++
|
||||
color_as_inconsistent([words("may set"),
|
||||
quote(SuccIndStr), suffix(",")]) ++
|
||||
@@ -1050,7 +1040,7 @@ check_fp_body_for_success_indicator(ModuleInfo, Lang, Context, PFSymNameArity,
|
||||
else
|
||||
LangStr = foreign_language_string(Lang),
|
||||
Pieces = [words("Warning: the"), fixed(LangStr),
|
||||
words("code for"),
|
||||
words("code in the foreign_proc for"),
|
||||
unqual_pf_sym_name_pred_form_arity(PFSymNameArity)] ++
|
||||
color_as_inconsistent([words("does not appear to set"),
|
||||
quote(SuccIndStr), suffix(",")]) ++
|
||||
@@ -1082,9 +1072,13 @@ check_fp_body_for_success_indicator(ModuleInfo, Lang, Context, PFSymNameArity,
|
||||
check_fp_body_for_return(Lang, Context, PFSymNameArity, BodyPieces, !Specs) :-
|
||||
( if list.member("return", BodyPieces) then
|
||||
LangStr = foreign_language_string(Lang),
|
||||
Pieces = [words("Warning: the"), fixed(LangStr), words("code for"),
|
||||
unqual_pf_sym_name_pred_form_arity(PFSymNameArity),
|
||||
words("may contain a"), quote("return"), words("statement."), nl],
|
||||
PFSPiece = unqual_pf_sym_name_pred_form_arity(PFSymNameArity),
|
||||
Pieces = [words("Warning: the"), fixed(LangStr),
|
||||
words("code in the foreign_proc for")] ++
|
||||
color_as_subject([PFSPiece]) ++
|
||||
[words("may contain a")] ++
|
||||
color_as_incorrect([quote("return"), words("statement.")]) ++
|
||||
[nl],
|
||||
Severity = severity_warning(warn_suspicious_foreign_procs),
|
||||
Spec = spec($pred, Severity, phase_pt2h, Context, Pieces),
|
||||
!:Specs = [Spec | !.Specs]
|
||||
|
||||
@@ -1,13 +1,13 @@
|
||||
foreign_proc_dup_var.m:025: Error: function [38;5;87m`bread_impl'/7[39;49m [38;5;203mhas no clauses.[39;49m
|
||||
foreign_proc_dup_var.m:032: In `:- pragma foreign_proc' declaration for
|
||||
foreign_proc_dup_var.m:032: function `bread_impl'/7:
|
||||
foreign_proc_dup_var.m:032: error: variable [38;5;87m`Buf'[39;49m [38;5;203moccurs more than once[39;49m in
|
||||
foreign_proc_dup_var.m:032: the argument list.
|
||||
foreign_proc_dup_var.m:041: In `:- pragma foreign_proc' declaration for
|
||||
foreign_proc_dup_var.m:041: function `bread_impl'/7:
|
||||
foreign_proc_dup_var.m:041: error: variable [38;5;87m`Buf'[39;49m [38;5;203moccurs more than once[39;49m in
|
||||
foreign_proc_dup_var.m:041: the argument list.
|
||||
foreign_proc_dup_var.m:050: In `:- pragma foreign_proc' declaration for
|
||||
foreign_proc_dup_var.m:050: function `bread_impl'/7:
|
||||
foreign_proc_dup_var.m:050: error: variable [38;5;87m`Buf'[39;49m [38;5;203moccurs more than once[39;49m in
|
||||
foreign_proc_dup_var.m:050: the argument list.
|
||||
foreign_proc_dup_var.m:032: Error in C foreign_proc for function
|
||||
foreign_proc_dup_var.m:032: `bread_impl'/7:
|
||||
foreign_proc_dup_var.m:032: variable [38;5;87m`Buf'[39;49m [38;5;203moccurs more than once[39;49m in the
|
||||
foreign_proc_dup_var.m:032: argument list.
|
||||
foreign_proc_dup_var.m:041: Error in Java foreign_proc for function
|
||||
foreign_proc_dup_var.m:041: `bread_impl'/7:
|
||||
foreign_proc_dup_var.m:041: variable [38;5;87m`Buf'[39;49m [38;5;203moccurs more than once[39;49m in the
|
||||
foreign_proc_dup_var.m:041: argument list.
|
||||
foreign_proc_dup_var.m:050: Error in C# foreign_proc for function
|
||||
foreign_proc_dup_var.m:050: `bread_impl'/7:
|
||||
foreign_proc_dup_var.m:050: variable [38;5;87m`Buf'[39;49m [38;5;203moccurs more than once[39;49m in the
|
||||
foreign_proc_dup_var.m:050: argument list.
|
||||
|
||||
@@ -7,57 +7,57 @@ foreign_purity_mismatch.m:011: or [38;5;40mpromised pure.[39;49m
|
||||
foreign_purity_mismatch.m:013: Error: predicate [38;5;87m`semipure_with_impure'/1[39;49m is
|
||||
foreign_purity_mismatch.m:013: [38;5;203mimpure.[39;49m It must either be [38;5;40mdeclared impure,[39;49m or
|
||||
foreign_purity_mismatch.m:013: [38;5;40mpromised semipure.[39;49m
|
||||
foreign_purity_mismatch.m:026: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:026: Error: this C foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:026: `pure_with_impure'/1 has purity [38;5;203mimpure,[39;49m but
|
||||
foreign_purity_mismatch.m:026: that predicate has been declared [38;5;40mpure.[39;49m
|
||||
foreign_purity_mismatch.m:031: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:031: Error: this Java foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:031: `pure_with_impure'/1 has purity [38;5;203mimpure,[39;49m but
|
||||
foreign_purity_mismatch.m:031: that predicate has been declared [38;5;40mpure.[39;49m
|
||||
foreign_purity_mismatch.m:036: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:036: Error: this C# foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:036: `pure_with_impure'/1 has purity [38;5;203mimpure,[39;49m but
|
||||
foreign_purity_mismatch.m:036: that predicate has been declared [38;5;40mpure.[39;49m
|
||||
foreign_purity_mismatch.m:044: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:044: Error: this C foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:044: `pure_with_semipure'/1 has purity [38;5;203msemipure,[39;49m
|
||||
foreign_purity_mismatch.m:044: but that predicate has been declared [38;5;40mpure.[39;49m
|
||||
foreign_purity_mismatch.m:049: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:049: Error: this Java foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:049: `pure_with_semipure'/1 has purity [38;5;203msemipure,[39;49m
|
||||
foreign_purity_mismatch.m:049: but that predicate has been declared [38;5;40mpure.[39;49m
|
||||
foreign_purity_mismatch.m:054: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:054: Error: this C# foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:054: `pure_with_semipure'/1 has purity [38;5;203msemipure,[39;49m
|
||||
foreign_purity_mismatch.m:054: but that predicate has been declared [38;5;40mpure.[39;49m
|
||||
foreign_purity_mismatch.m:062: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:062: Error: this C foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:062: `semipure_with_impure'/1 has purity [38;5;203mimpure,[39;49m
|
||||
foreign_purity_mismatch.m:062: but that predicate has been declared [38;5;40msemipure.[39;49m
|
||||
foreign_purity_mismatch.m:067: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:067: Error: this Java foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:067: `semipure_with_impure'/1 has purity [38;5;203mimpure,[39;49m
|
||||
foreign_purity_mismatch.m:067: but that predicate has been declared [38;5;40msemipure.[39;49m
|
||||
foreign_purity_mismatch.m:072: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:072: Error: this C# foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:072: `semipure_with_impure'/1 has purity [38;5;203mimpure,[39;49m
|
||||
foreign_purity_mismatch.m:072: but that predicate has been declared [38;5;40msemipure.[39;49m
|
||||
foreign_purity_mismatch.m:080: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:080: Error: this C foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:080: `semipure_with_pure'/1 has purity [38;5;203mpure,[39;49m but
|
||||
foreign_purity_mismatch.m:080: that predicate has been declared [38;5;40msemipure.[39;49m
|
||||
foreign_purity_mismatch.m:085: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:085: Error: this Java foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:085: `semipure_with_pure'/1 has purity [38;5;203mpure,[39;49m but
|
||||
foreign_purity_mismatch.m:085: that predicate has been declared [38;5;40msemipure.[39;49m
|
||||
foreign_purity_mismatch.m:090: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:090: Error: this C# foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:090: `semipure_with_pure'/1 has purity [38;5;203mpure,[39;49m but
|
||||
foreign_purity_mismatch.m:090: that predicate has been declared [38;5;40msemipure.[39;49m
|
||||
foreign_purity_mismatch.m:098: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:098: Error: this C foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:098: `impure_with_pure'/1 has purity [38;5;203mpure,[39;49m but that
|
||||
foreign_purity_mismatch.m:098: predicate has been declared [38;5;40mimpure.[39;49m
|
||||
foreign_purity_mismatch.m:103: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:103: Error: this Java foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:103: `impure_with_pure'/1 has purity [38;5;203mpure,[39;49m but that
|
||||
foreign_purity_mismatch.m:103: predicate has been declared [38;5;40mimpure.[39;49m
|
||||
foreign_purity_mismatch.m:108: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:108: Error: this C# foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:108: `impure_with_pure'/1 has purity [38;5;203mpure,[39;49m but that
|
||||
foreign_purity_mismatch.m:108: predicate has been declared [38;5;40mimpure.[39;49m
|
||||
foreign_purity_mismatch.m:116: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:116: Error: this C foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:116: `impure_with_semipure'/1 has purity [38;5;203msemipure,[39;49m
|
||||
foreign_purity_mismatch.m:116: but that predicate has been declared [38;5;40mimpure.[39;49m
|
||||
foreign_purity_mismatch.m:121: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:121: Error: this Java foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:121: `impure_with_semipure'/1 has purity [38;5;203msemipure,[39;49m
|
||||
foreign_purity_mismatch.m:121: but that predicate has been declared [38;5;40mimpure.[39;49m
|
||||
foreign_purity_mismatch.m:126: Error: foreign clause for predicate
|
||||
foreign_purity_mismatch.m:126: Error: this C# foreign_proc for predicate
|
||||
foreign_purity_mismatch.m:126: `impure_with_semipure'/1 has purity [38;5;203msemipure,[39;49m
|
||||
foreign_purity_mismatch.m:126: but that predicate has been declared [38;5;40mimpure.[39;49m
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
fp_dup_bug.m:027: Error: [38;5;203mduplicate `:- pragma foreign_proc' declaration[39;49m for
|
||||
fp_dup_bug.m:027: this mode of predicate `foo'/2 in C.
|
||||
fp_dup_bug.m:027: Error: [38;5;203mduplicate C foreign_proc[39;49m for this mode of predicate
|
||||
fp_dup_bug.m:027: `foo'/2.
|
||||
fp_dup_bug.m:021: The first one was here.
|
||||
fp_dup_bug.m:033: Error: [38;5;203mduplicate `:- pragma foreign_proc' declaration[39;49m for
|
||||
fp_dup_bug.m:033: this mode of predicate `foo'/2 in C.
|
||||
fp_dup_bug.m:033: Error: [38;5;203mduplicate C foreign_proc[39;49m for this mode of predicate
|
||||
fp_dup_bug.m:033: `foo'/2.
|
||||
fp_dup_bug.m:021: The first one was here.
|
||||
|
||||
@@ -2,8 +2,7 @@ pragma_qual_error.m:025: In `:- pragma foreign_export_enum' declaration:
|
||||
pragma_qual_error.m:025: error: the type [38;5;87m`bar'/0[39;49m is [38;5;203mundefined.[39;49m
|
||||
pragma_qual_error.m:032: Error: `:- pragma foreign_enum' declaration for the
|
||||
pragma_qual_error.m:032: [38;5;203mundeclared type[39;49m [38;5;87m`bar'/0.[39;49m
|
||||
pragma_qual_error.m:046: Error: `:- pragma foreign_proc' declaration for
|
||||
pragma_qual_error.m:046: [38;5;203mundeclared mode[39;49m of predicate
|
||||
pragma_qual_error.m:046: Error: C foreign_proc for [38;5;203mundeclared mode[39;49m of predicate
|
||||
pragma_qual_error.m:046: [38;5;87m`pragma_qual_error.foo'/2.[39;49m
|
||||
pragma_qual_error.m:046: In `:- pragma foreign_proc' declaration:
|
||||
pragma_qual_error.m:046: error: the mode [38;5;87m`not_a_mode'/0[39;49m is [38;5;203mundefined.[39;49m
|
||||
|
||||
@@ -1,10 +1,10 @@
|
||||
foreign_singleton.m:027: In the C code for predicate `f'/3:
|
||||
foreign_singleton.m:027: In the C foreign_proc for predicate `f'/3:
|
||||
foreign_singleton.m:027: warning: variable [38;5;87m`IO0'[39;49m [38;5;203mdoes not occur[39;49m in the C
|
||||
foreign_singleton.m:027: code.
|
||||
foreign_singleton.m:033: In the Java code for predicate `f'/3:
|
||||
foreign_singleton.m:033: In the Java foreign_proc for predicate `f'/3:
|
||||
foreign_singleton.m:033: warning: variable [38;5;87m`IO0'[39;49m [38;5;203mdoes not occur[39;49m in the Java
|
||||
foreign_singleton.m:033: code.
|
||||
foreign_singleton.m:039: In the C# code for predicate `f'/3:
|
||||
foreign_singleton.m:039: In the C# foreign_proc for predicate `f'/3:
|
||||
foreign_singleton.m:039: warning: variable [38;5;87m`IO0'[39;49m [38;5;203mdoes not occur[39;49m in the C#
|
||||
foreign_singleton.m:039: code.
|
||||
foreign_singleton.m:046: In clause for predicate `f'/3:
|
||||
@@ -13,12 +13,12 @@ foreign_singleton.m:046: scope.
|
||||
foreign_singleton.m:050: In clause for predicate `g'/3:
|
||||
foreign_singleton.m:050: warning: variable [38;5;87m`X'[39;49m [38;5;203moccurs only once[39;49m in this
|
||||
foreign_singleton.m:050: scope.
|
||||
foreign_singleton.m:052: In the C code for predicate `g'/3:
|
||||
foreign_singleton.m:052: In the C foreign_proc for predicate `g'/3:
|
||||
foreign_singleton.m:052: warning: variable [38;5;87m`IO0'[39;49m [38;5;203mdoes not occur[39;49m in the C
|
||||
foreign_singleton.m:052: code.
|
||||
foreign_singleton.m:058: In the Java code for predicate `g'/3:
|
||||
foreign_singleton.m:058: In the Java foreign_proc for predicate `g'/3:
|
||||
foreign_singleton.m:058: warning: variable [38;5;87m`IO0'[39;49m [38;5;203mdoes not occur[39;49m in the Java
|
||||
foreign_singleton.m:058: code.
|
||||
foreign_singleton.m:064: In the C# code for predicate `g'/3:
|
||||
foreign_singleton.m:064: In the C# foreign_proc for predicate `g'/3:
|
||||
foreign_singleton.m:064: warning: variable [38;5;87m`IO0'[39;49m [38;5;203mdoes not occur[39;49m in the C#
|
||||
foreign_singleton.m:064: code.
|
||||
|
||||
@@ -22,23 +22,23 @@ singleton_test.m:045: scope.
|
||||
singleton_test.m:045: In clause for predicate `test_head'/6:
|
||||
singleton_test.m:045: warning: variables [38;5;87m`A'[39;49m and [38;5;87m`B'[39;49m [38;5;203moccur only once[39;49m in this
|
||||
singleton_test.m:045: scope.
|
||||
singleton_test.m:049: In the C code for predicate `my_c_pred'/3:
|
||||
singleton_test.m:049: In the C foreign_proc for predicate `my_c_pred'/3:
|
||||
singleton_test.m:049: warning: variable [38;5;87m`Y'[39;49m [38;5;203mdoes not occur[39;49m in the C code.
|
||||
singleton_test.m:055: In the C# code for predicate `my_c_pred'/3:
|
||||
singleton_test.m:055: In the C# foreign_proc for predicate `my_c_pred'/3:
|
||||
singleton_test.m:055: warning: variable [38;5;87m`Y'[39;49m [38;5;203mdoes not occur[39;49m in the C# code.
|
||||
singleton_test.m:061: In the Java code for predicate `my_c_pred'/3:
|
||||
singleton_test.m:061: In the Java foreign_proc for predicate `my_c_pred'/3:
|
||||
singleton_test.m:061: warning: variable [38;5;87m`Y'[39;49m [38;5;203mdoes not occur[39;49m in the Java code.
|
||||
singleton_test.m:070: In the C code for function `my_c_func'/2:
|
||||
singleton_test.m:070: In the C foreign_proc for function `my_c_func'/2:
|
||||
singleton_test.m:070: warning: variable [38;5;87m`X'[39;49m [38;5;203mdoes not occur[39;49m in the C code.
|
||||
singleton_test.m:076: In the C# code for function `my_c_func'/2:
|
||||
singleton_test.m:076: In the C# foreign_proc for function `my_c_func'/2:
|
||||
singleton_test.m:076: warning: variable [38;5;87m`X'[39;49m [38;5;203mdoes not occur[39;49m in the C# code.
|
||||
singleton_test.m:082: In the Java code for function `my_c_func'/2:
|
||||
singleton_test.m:082: In the Java foreign_proc for function `my_c_func'/2:
|
||||
singleton_test.m:082: warning: variable [38;5;87m`X'[39;49m [38;5;203mdoes not occur[39;49m in the Java code.
|
||||
singleton_test.m:091: In the C code for predicate `c_hello_world'/3:
|
||||
singleton_test.m:091: In the C foreign_proc for predicate `c_hello_world'/3:
|
||||
singleton_test.m:091: warning: variable [38;5;87m`Msg'[39;49m [38;5;203mdoes not occur[39;49m in the C code.
|
||||
singleton_test.m:098: In the C# code for predicate `c_hello_world'/3:
|
||||
singleton_test.m:098: In the C# foreign_proc for predicate `c_hello_world'/3:
|
||||
singleton_test.m:098: warning: variable [38;5;87m`Msg'[39;49m [38;5;203mdoes not occur[39;49m in the C# code.
|
||||
singleton_test.m:105: In the Java code for predicate `c_hello_world'/3:
|
||||
singleton_test.m:105: In the Java foreign_proc for predicate `c_hello_world'/3:
|
||||
singleton_test.m:105: warning: variable [38;5;87m`Msg'[39;49m [38;5;203mdoes not occur[39;49m in the Java
|
||||
singleton_test.m:105: code.
|
||||
For more information, recompile with `-E'.
|
||||
|
||||
@@ -1,6 +1,6 @@
|
||||
warn_return.m:019: Warning: the C code for predicate `foo'/2 may contain a
|
||||
warn_return.m:019: `return' statement.
|
||||
warn_return.m:026: Warning: the Java code for predicate `foo'/2 may contain a
|
||||
warn_return.m:026: `return' statement.
|
||||
warn_return.m:033: Warning: the C# code for predicate `foo'/2 may contain a
|
||||
warn_return.m:033: `return' statement.
|
||||
warn_return.m:019: Warning: the C code in the foreign_proc for [38;5;87mpredicate[39;49m
|
||||
warn_return.m:019: [38;5;87m`foo'/2[39;49m may contain a [38;5;203m`return' statement.[39;49m
|
||||
warn_return.m:026: Warning: the Java code in the foreign_proc for [38;5;87mpredicate[39;49m
|
||||
warn_return.m:026: [38;5;87m`foo'/2[39;49m may contain a [38;5;203m`return' statement.[39;49m
|
||||
warn_return.m:033: Warning: the C# code in the foreign_proc for [38;5;87mpredicate[39;49m
|
||||
warn_return.m:033: [38;5;87m`foo'/2[39;49m may contain a [38;5;203m`return' statement.[39;49m
|
||||
|
||||
@@ -1,25 +1,36 @@
|
||||
warn_succ_ind.m:022: Warning: the C code for predicate `test_det'/2 [38;5;171mmay set[39;49m
|
||||
warn_succ_ind.m:022: [38;5;171m`SUCCESS_INDICATOR',[39;49m but [38;5;171mit cannot fail.[39;49m
|
||||
warn_succ_ind.m:029: Warning: the Java code for predicate `test_det'/2 [38;5;171mmay set[39;49m
|
||||
warn_succ_ind.m:029: [38;5;171m`SUCCESS_INDICATOR',[39;49m but [38;5;171mit cannot fail.[39;49m
|
||||
warn_succ_ind.m:036: Warning: the C# code for predicate `test_det'/2 [38;5;171mmay set[39;49m
|
||||
warn_succ_ind.m:036: [38;5;171m`SUCCESS_INDICATOR',[39;49m but [38;5;171mit cannot fail.[39;49m
|
||||
warn_succ_ind.m:046: Warning: the C code for predicate `test_cc_multi'/2 [38;5;171mmay[39;49m
|
||||
warn_succ_ind.m:046: [38;5;171mset `SUCCESS_INDICATOR',[39;49m but [38;5;171mit cannot fail.[39;49m
|
||||
warn_succ_ind.m:053: Warning: the Java code for predicate `test_cc_multi'/2 [38;5;171mmay[39;49m
|
||||
warn_succ_ind.m:053: [38;5;171mset `SUCCESS_INDICATOR',[39;49m but [38;5;171mit cannot fail.[39;49m
|
||||
warn_succ_ind.m:060: Warning: the C# code for predicate `test_cc_multi'/2 [38;5;171mmay[39;49m
|
||||
warn_succ_ind.m:060: [38;5;171mset `SUCCESS_INDICATOR',[39;49m but [38;5;171mit cannot fail.[39;49m
|
||||
warn_succ_ind.m:070: Warning: the C code for predicate `test_semidet'/2 [38;5;171mdoes[39;49m
|
||||
warn_succ_ind.m:070: [38;5;171mnot appear to set `SUCCESS_INDICATOR',[39;49m but [38;5;171mit can fail.[39;49m
|
||||
warn_succ_ind.m:076: Warning: the Java code for predicate `test_semidet'/2 [38;5;171mdoes[39;49m
|
||||
warn_succ_ind.m:076: [38;5;171mnot appear to set `SUCCESS_INDICATOR',[39;49m but [38;5;171mit can fail.[39;49m
|
||||
warn_succ_ind.m:082: Warning: the C# code for predicate `test_semidet'/2 [38;5;171mdoes[39;49m
|
||||
warn_succ_ind.m:082: [38;5;171mnot appear to set `SUCCESS_INDICATOR',[39;49m but [38;5;171mit can fail.[39;49m
|
||||
warn_succ_ind.m:091: Warning: the C code for predicate `test_cc_nondet'/2 [38;5;171mdoes[39;49m
|
||||
warn_succ_ind.m:091: [38;5;171mnot appear to set `SUCCESS_INDICATOR',[39;49m but [38;5;171mit can fail.[39;49m
|
||||
warn_succ_ind.m:097: Warning: the Java code for predicate `test_cc_nondet'/2
|
||||
warn_succ_ind.m:097: [38;5;171mdoes not appear to set `SUCCESS_INDICATOR',[39;49m but [38;5;171mit can[39;49m
|
||||
warn_succ_ind.m:097: [38;5;171mfail.[39;49m
|
||||
warn_succ_ind.m:103: Warning: the C# code for predicate `test_cc_nondet'/2 [38;5;171mdoes[39;49m
|
||||
warn_succ_ind.m:103: [38;5;171mnot appear to set `SUCCESS_INDICATOR',[39;49m but [38;5;171mit can fail.[39;49m
|
||||
warn_succ_ind.m:022: Warning: the C code in the foreign_proc for predicate
|
||||
warn_succ_ind.m:022: `test_det'/2 [38;5;171mmay set `SUCCESS_INDICATOR',[39;49m but [38;5;171mit cannot[39;49m
|
||||
warn_succ_ind.m:022: [38;5;171mfail.[39;49m
|
||||
warn_succ_ind.m:029: Warning: the Java code in the foreign_proc for predicate
|
||||
warn_succ_ind.m:029: `test_det'/2 [38;5;171mmay set `SUCCESS_INDICATOR',[39;49m but [38;5;171mit cannot[39;49m
|
||||
warn_succ_ind.m:029: [38;5;171mfail.[39;49m
|
||||
warn_succ_ind.m:036: Warning: the C# code in the foreign_proc for predicate
|
||||
warn_succ_ind.m:036: `test_det'/2 [38;5;171mmay set `SUCCESS_INDICATOR',[39;49m but [38;5;171mit cannot[39;49m
|
||||
warn_succ_ind.m:036: [38;5;171mfail.[39;49m
|
||||
warn_succ_ind.m:046: Warning: the C code in the foreign_proc for predicate
|
||||
warn_succ_ind.m:046: `test_cc_multi'/2 [38;5;171mmay set `SUCCESS_INDICATOR',[39;49m but [38;5;171mit[39;49m
|
||||
warn_succ_ind.m:046: [38;5;171mcannot fail.[39;49m
|
||||
warn_succ_ind.m:053: Warning: the Java code in the foreign_proc for predicate
|
||||
warn_succ_ind.m:053: `test_cc_multi'/2 [38;5;171mmay set `SUCCESS_INDICATOR',[39;49m but [38;5;171mit[39;49m
|
||||
warn_succ_ind.m:053: [38;5;171mcannot fail.[39;49m
|
||||
warn_succ_ind.m:060: Warning: the C# code in the foreign_proc for predicate
|
||||
warn_succ_ind.m:060: `test_cc_multi'/2 [38;5;171mmay set `SUCCESS_INDICATOR',[39;49m but [38;5;171mit[39;49m
|
||||
warn_succ_ind.m:060: [38;5;171mcannot fail.[39;49m
|
||||
warn_succ_ind.m:070: Warning: the C code in the foreign_proc for predicate
|
||||
warn_succ_ind.m:070: `test_semidet'/2 [38;5;171mdoes not appear to set[39;49m
|
||||
warn_succ_ind.m:070: [38;5;171m`SUCCESS_INDICATOR',[39;49m but [38;5;171mit can fail.[39;49m
|
||||
warn_succ_ind.m:076: Warning: the Java code in the foreign_proc for predicate
|
||||
warn_succ_ind.m:076: `test_semidet'/2 [38;5;171mdoes not appear to set[39;49m
|
||||
warn_succ_ind.m:076: [38;5;171m`SUCCESS_INDICATOR',[39;49m but [38;5;171mit can fail.[39;49m
|
||||
warn_succ_ind.m:082: Warning: the C# code in the foreign_proc for predicate
|
||||
warn_succ_ind.m:082: `test_semidet'/2 [38;5;171mdoes not appear to set[39;49m
|
||||
warn_succ_ind.m:082: [38;5;171m`SUCCESS_INDICATOR',[39;49m but [38;5;171mit can fail.[39;49m
|
||||
warn_succ_ind.m:091: Warning: the C code in the foreign_proc for predicate
|
||||
warn_succ_ind.m:091: `test_cc_nondet'/2 [38;5;171mdoes not appear to set[39;49m
|
||||
warn_succ_ind.m:091: [38;5;171m`SUCCESS_INDICATOR',[39;49m but [38;5;171mit can fail.[39;49m
|
||||
warn_succ_ind.m:097: Warning: the Java code in the foreign_proc for predicate
|
||||
warn_succ_ind.m:097: `test_cc_nondet'/2 [38;5;171mdoes not appear to set[39;49m
|
||||
warn_succ_ind.m:097: [38;5;171m`SUCCESS_INDICATOR',[39;49m but [38;5;171mit can fail.[39;49m
|
||||
warn_succ_ind.m:103: Warning: the C# code in the foreign_proc for predicate
|
||||
warn_succ_ind.m:103: `test_cc_nondet'/2 [38;5;171mdoes not appear to set[39;49m
|
||||
warn_succ_ind.m:103: [38;5;171m`SUCCESS_INDICATOR',[39;49m but [38;5;171mit can fail.[39;49m
|
||||
|
||||
Reference in New Issue
Block a user