mercurylang/mercury
1
0
Fork 0
mirror of https://github.com/Mercury-Language/mercury.git synced 2026-04-15 17:33:38 +00:00
Code Issues Projects Releases Wiki Activity

Fix minor issues in mdbcomp.

Browse Source 
mdbcomp/slice_and_dice.m:
   Expand tabs.

mdbcomp/mdbcomp.goal_path.m:
    Fix spelling.

mdbcomp/trace_counts.m:
    Consistently use "I/O" instead of "IO" in error messages.
This commit is contained in:
Julien Fischer
2015-12-10 11:40:46 +11:00
parent cf6aa853cb
commit e67c8bf9fb
3 changed files with 21 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
mdbcomp/mdbcomp.goal_path.m
View File

@@ -314,7 +314,7 @@
% update_goal_attribute(GoalId, Attribute, !Array),
%
% Make Attirubte the new attribute for GoalId in !:Array.
% Make Attribute the new attribute for GoalId in !:Array.
%
:- pred update_goal_attribute(goal_id::in, T::in,
goal_attr_array(T)::gaa_di, goal_attr_array(T)::gaa_uo) is det.

36
mdbcomp/slice_and_dice.m
View File

@@ -298,10 +298,10 @@ read_dice(PassFile, FailFile, Result, !IO) :-
).
:- pred maybe_dice_error_to_problem_string(maybe_error(dice)::in, string::out)
is det.
is det.
:- pragma foreign_export("C", maybe_dice_error_to_problem_string(in, out),
"MR_MDBCOMP_maybe_dice_error_to_problem_string").
"MR_MDBCOMP_maybe_dice_error_to_problem_string").
maybe_dice_error_to_problem_string(ok(_), "").
maybe_dice_error_to_problem_string(error(ErrorStr), ErrorStr).
@@ -309,11 +309,11 @@ maybe_dice_error_to_problem_string(error(ErrorStr), ErrorStr).
:- pred det_maybe_dice_error_to_dice(maybe_error(dice)::in, dice::out) is det.
:- pragma foreign_export("C", det_maybe_dice_error_to_dice(in, out),
"MR_MDBCOMP_det_maybe_dice_error_to_dice").
"MR_MDBCOMP_det_maybe_dice_error_to_dice").
det_maybe_dice_error_to_dice(ok(Dice), Dice).
det_maybe_dice_error_to_dice(error(_), _) :-
error("det_maybe_dice_error_to_dice: result is error").
error("det_maybe_dice_error_to_dice: result is error").
:- type trace_counts_kind
---> pass_slice
@@ -924,22 +924,22 @@ suspicion_ratio_binary(PassCount, FailCount) = R :-
:- pragma foreign_export("C",
get_suspicion_for_label_layout(in, in) = out,
"MR_MDBCOMP_get_suspicion_for_label_layout").
"MR_MDBCOMP_get_suspicion_for_label_layout").
get_suspicion_for_label_layout(Dice, LabelLayout) = Suspicion :-
ProcLayout = get_proc_layout_from_label_layout(LabelLayout),
ProcLabel = get_proc_label_from_layout(ProcLayout),
PathPort = get_path_port_from_label_layout(LabelLayout),
( if map.search(Dice ^ dice_proc_map, ProcLabel, PathPortMap) then
( if map.search(PathPortMap, PathPort, ExecCount) then
Suspicion = suspicion_ratio_binary(
ExecCount ^ pass_count, ExecCount ^ fail_count)
else
Suspicion = 0.0
)
else
Suspicion = 0.0
).
ProcLayout = get_proc_layout_from_label_layout(LabelLayout),
ProcLabel = get_proc_label_from_layout(ProcLayout),
PathPort = get_path_port_from_label_layout(LabelLayout),
( if map.search(Dice ^ dice_proc_map, ProcLabel, PathPortMap) then
( if map.search(PathPortMap, PathPort, ExecCount) then
Suspicion = suspicion_ratio_binary(
ExecCount ^ pass_count, ExecCount ^ fail_count)
else
Suspicion = 0.0
)
else
Suspicion = 0.0
).
%-----------------------------------------------------------------------------%
%

4
mdbcomp/trace_counts.m
View File

@@ -293,12 +293,12 @@ read_trace_counts_source(FileName, Result, !IO) :-
;
ReadTCResult = io_error(IOError),
ErrMsg = io.error_message(IOError),
Result = list_error_message("IO error reading file " ++
Result = list_error_message("I/O error reading file " ++
"`" ++ FileName ++ "': " ++ ErrMsg)
;
ReadTCResult = open_error(IOError),
ErrMsg = io.error_message(IOError),
Result = list_error_message("IO error opening file " ++
Result = list_error_message("I/O error opening file " ++
"`" ++ FileName ++ "': " ++ ErrMsg)
;
ReadTCResult = syntax_error(ErrMsg),