[m-rev.] diff: avoid ambiguities in deep_profiling.m
Zoltan Somogyi
zs at csse.unimelb.edu.au
Wed Nov 26 13:59:00 AEDT 2008
compiler/deep_profiling.m:
Rename some predicates, types and function symbols to avoid ambiguity.
Zoltan.
cvs diff: Diffing .
cvs diff: Diffing analysis
cvs diff: Diffing bindist
cvs diff: Diffing boehm_gc
cvs diff: Diffing boehm_gc/Mac_files
cvs diff: Diffing boehm_gc/cord
cvs diff: Diffing boehm_gc/cord/private
cvs diff: Diffing boehm_gc/doc
cvs diff: Diffing boehm_gc/include
cvs diff: Diffing boehm_gc/include/private
cvs diff: Diffing boehm_gc/libatomic_ops-1.2
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/doc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps/gcc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps/hpc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps/ibmc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps/icc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps/msftc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/src/atomic_ops/sysdeps/sunc
cvs diff: Diffing boehm_gc/libatomic_ops-1.2/tests
cvs diff: Diffing boehm_gc/tests
cvs diff: Diffing boehm_gc/windows-untested
cvs diff: Diffing boehm_gc/windows-untested/vc60
cvs diff: Diffing boehm_gc/windows-untested/vc70
cvs diff: Diffing boehm_gc/windows-untested/vc71
cvs diff: Diffing browser
cvs diff: Diffing bytecode
cvs diff: Diffing compiler
Index: compiler/deep_profiling.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/deep_profiling.m,v
retrieving revision 1.93
diff -u -b -r1.93 deep_profiling.m
--- compiler/deep_profiling.m 25 Nov 2008 07:46:39 -0000 1.93
+++ compiler/deep_profiling.m 25 Nov 2008 07:52:38 -0000
@@ -92,8 +92,8 @@
module_info_predids(PredIds, !ModuleInfo),
module_info_get_predicate_table(!.ModuleInfo, PredTable0),
predicate_table_get_preds(PredTable0, PredMap0),
- list.foldl2(transform_predicate(!.ModuleInfo), PredIds, PredMap0, PredMap,
- !IO),
+ list.foldl2(deep_prof_transform_predicate(!.ModuleInfo), PredIds,
+ PredMap0, PredMap, !IO),
predicate_table_set_preds(PredMap, PredTable0, PredTable),
module_info_set_predicate_table(PredTable, !ModuleInfo).
@@ -455,22 +455,24 @@
%-----------------------------------------------------------------------------%
-:- pred transform_predicate(module_info::in, pred_id::in,
+:- pred deep_prof_transform_predicate(module_info::in, pred_id::in,
pred_table::in, pred_table::out, io::di, io::uo) is det.
-transform_predicate(ModuleInfo, PredId, PredMap0, PredMap, !IO) :-
+deep_prof_transform_predicate(ModuleInfo, PredId, PredMap0, PredMap, !IO) :-
map.lookup(PredMap0, PredId, PredInfo0),
ProcIds = pred_info_non_imported_procids(PredInfo0),
pred_info_get_procedures(PredInfo0, ProcTable0),
- list.foldl2(maybe_transform_procedure(ModuleInfo, PredId),
+ list.foldl2(deep_prof_maybe_transform_procedure(ModuleInfo, PredId),
ProcIds, ProcTable0, ProcTable, !IO),
pred_info_set_procedures(ProcTable, PredInfo0, PredInfo),
map.det_update(PredMap0, PredId, PredInfo, PredMap).
-:- pred maybe_transform_procedure(module_info::in, pred_id::in, proc_id::in,
- proc_table::in, proc_table::out, io::di, io::uo) is det.
+:- pred deep_prof_maybe_transform_procedure(module_info::in,
+ pred_id::in, proc_id::in, proc_table::in, proc_table::out,
+ io::di, io::uo) is det.
-maybe_transform_procedure(ModuleInfo, PredId, ProcId, !ProcTable, !IO) :-
+deep_prof_maybe_transform_procedure(ModuleInfo, PredId, ProcId, !ProcTable,
+ !IO) :-
map.lookup(!.ProcTable, ProcId, ProcInfo0),
proc_info_get_goal(ProcInfo0, Goal0),
PredModuleName = predicate_module(ModuleInfo, PredId),
@@ -556,10 +558,10 @@
% procedure both these values should be updated, and can be using
% generate_var/5 below.
%
-:- type var_info
- ---> var_info(
- varinfo_varset :: prog_varset,
- varinfo_vartypes :: vartypes
+:- type deep_prof_var_info
+ ---> deep_prof_var_info(
+ dpvi_varset :: prog_varset,
+ dpvi_vartypes :: vartypes
).
% This structure contains stateful information used throughout the deep
@@ -572,7 +574,7 @@
deep_current_csd :: prog_var,
deep_site_num_counter :: counter,
deep_call_sites :: list(call_site_static_data),
- deep_varinfos :: var_info,
+ deep_varinfo :: deep_prof_var_info,
deep_proc_filename :: string,
deep_maybe_rec_info :: maybe(deep_recursion_info)
).
@@ -589,7 +591,7 @@
proc_info_get_varset(!.ProcInfo, VarSet0),
proc_info_get_vartypes(!.ProcInfo, VarTypes0),
some [!VarInfo] (
- !:VarInfo = var_info(VarSet0, VarTypes0),
+ !:VarInfo = deep_prof_var_info(VarSet0, VarTypes0),
generate_var("TopCSD", c_pointer_type, TopCSD, !VarInfo),
generate_var("MiddleCSD", c_pointer_type, MiddleCSD, !VarInfo),
generate_var("ProcStaticLayout", c_pointer_type, ProcStaticVar,
@@ -607,7 +609,7 @@
% This call transforms the goals of the procedure.
deep_prof_transform_goal(empty_goal_path, Goal0, Goal1, _,
DeepInfo0, DeepInfo),
- !:VarInfo = DeepInfo ^ deep_varinfos,
+ !:VarInfo = DeepInfo ^ deep_varinfo,
CallSites = DeepInfo ^ deep_call_sites,
% Do coverage profiling if requested.
@@ -671,7 +673,7 @@
GoalInfo0, BindProcStaticVarGoal, TransformedGoal, Goal)
),
- !.VarInfo = var_info(Vars, VarTypes)
+ !.VarInfo = deep_prof_var_info(Vars, VarTypes)
),
proc_info_set_varset(Vars, !ProcInfo),
proc_info_set_vartypes(VarTypes, !ProcInfo),
@@ -880,7 +882,7 @@
Goal0 = hlds_goal(_, GoalInfo0),
proc_info_get_varset(!.ProcInfo, VarSet0),
proc_info_get_vartypes(!.ProcInfo, VarTypes0),
- VarInfo0 = var_info(VarSet0, VarTypes0),
+ VarInfo0 = deep_prof_var_info(VarSet0, VarTypes0),
generate_var("MiddleCSD", c_pointer_type, MiddleCSD, VarInfo0,
VarInfo1),
@@ -896,8 +898,8 @@
deep_prof_transform_goal(empty_goal_path, Goal0, TransformedGoal, _,
DeepInfo0, DeepInfo),
- VarInfo = DeepInfo ^ deep_varinfos,
- VarInfo = var_info(VarSet, VarTypes),
+ VarInfo = DeepInfo ^ deep_varinfo,
+ VarInfo = deep_prof_var_info(VarSet, VarTypes),
proc_info_set_varset(VarSet, !ProcInfo),
proc_info_set_vartypes(VarTypes, !ProcInfo),
@@ -993,7 +995,7 @@
% functors?
% zs: this computation is NOT broken.
% ModuleInfo = !.DeepInfo ^ deep_module_info,
- % VarTypes = !.DeepInfo ^ deep_varinfos ^ varinfo_vartypes,
+ % VarTypes = !.DeepInfo ^ deep_varinfo ^ varinfo_vartypes,
% map.lookup(VarTypes, Var, Type),
% ( switch_type_num_functors(ModuleInfo, Type, NumFunctors) ->
% MaybeNumFunctors = yes(NumFunctors)
@@ -1160,11 +1162,11 @@
SiteNumCounter0 = !.DeepInfo ^ deep_site_num_counter,
counter.allocate(SiteNum, SiteNumCounter0, SiteNumCounter),
- VarInfo0 = !.DeepInfo ^ deep_varinfos,
+ VarInfo0 = !.DeepInfo ^ deep_varinfo,
generate_var("SiteNum", int_type, SiteNumVar, VarInfo0, VarInfo1),
generate_unify(int_const(SiteNum), SiteNumVar, SiteNumVarGoal),
- !:DeepInfo = !.DeepInfo ^ deep_varinfos := VarInfo1,
- !:DeepInfo = !.DeepInfo ^ deep_site_num_counter := SiteNumCounter,
+ !DeepInfo ^ deep_varinfo := VarInfo1,
+ !DeepInfo ^ deep_site_num_counter := SiteNumCounter,
Context = goal_info_get_context(GoalInfo0),
FileName0 = term.context_file(Context),
@@ -1221,10 +1223,10 @@
CallSite = higher_order_call(FileName, LineNumber, GoalPath)
;
Generic = class_method(TypeClassInfoVar, MethodNum, _, _),
- VarInfo2 = !.DeepInfo ^ deep_varinfos,
+ VarInfo2 = !.DeepInfo ^ deep_varinfo,
generate_var("MethodNum", int_type, MethodNumVar, VarInfo2,
VarInfo3),
- !:DeepInfo = !.DeepInfo ^ deep_varinfos := VarInfo3,
+ !DeepInfo ^ deep_varinfo := VarInfo3,
generate_unify(int_const(MethodNum), MethodNumVar,
MethodNumVarGoal),
generate_deep_det_call(ModuleInfo, "prepare_for_method_call", 3,
@@ -1256,7 +1258,7 @@
)
),
- !:DeepInfo = !.DeepInfo ^ deep_call_sites :=
+ !DeepInfo ^ deep_call_sites :=
(!.DeepInfo ^ deep_call_sites ++ [CallSite]),
(
set.member(feature_deep_tail_rec_call, GoalFeatures),
@@ -1342,7 +1344,7 @@
deep_prof_transform_higher_order_call(Globals, CodeModel, Goal0, Goal,
!DeepInfo) :-
some [!VarInfo] (
- !:VarInfo = !.DeepInfo ^ deep_varinfos,
+ !:VarInfo = !.DeepInfo ^ deep_varinfo,
generate_var("SavedPtr", c_pointer_type, SavedPtrVar, !VarInfo),
@@ -1380,7 +1382,7 @@
[], [], ReZeroStuff)
),
- !:DeepInfo = !.DeepInfo ^ deep_varinfos := !.VarInfo
+ !DeepInfo ^ deep_varinfo := !.VarInfo
),
Goal0 = hlds_goal(_, GoalInfo0),
@@ -1466,8 +1468,8 @@
SiteNumCounter0 = !.DeepInfo ^ deep_site_num_counter,
counter.allocate(SiteNum, SiteNumCounter0, SiteNumCounter),
- generate_var("SiteNum", int_type, SiteNumVar, !.DeepInfo ^
- deep_varinfos, VarInfo),
+ generate_var("SiteNum", int_type, SiteNumVar, !.DeepInfo ^ deep_varinfo,
+ VarInfo),
generate_unify(int_const(SiteNum), SiteNumVar, SiteNumVarGoal),
generate_deep_det_call(ModuleInfo, "prepare_for_callback", 1,
@@ -1483,10 +1485,9 @@
goal_info_set_mdprof_inst(goal_is_mdprof_inst, GoalInfo1, GoalInfo),
Goal = hlds_goal(conj(plain_conj, [SiteNumVarGoal, PrepareGoal, Goal0]),
GoalInfo),
- !:DeepInfo = !.DeepInfo ^ deep_site_num_counter := SiteNumCounter,
- !:DeepInfo = !.DeepInfo ^ deep_varinfos := VarInfo,
- !:DeepInfo = !.DeepInfo ^ deep_call_sites :=
- !.DeepInfo ^ deep_call_sites ++ [CallSite].
+ !DeepInfo ^ deep_site_num_counter := SiteNumCounter,
+ !DeepInfo ^ deep_varinfo := VarInfo,
+ !DeepInfo ^ deep_call_sites := !.DeepInfo ^ deep_call_sites ++ [CallSite].
:- pred compress_filename(deep_info::in, string::in, string::out) is det.
@@ -1627,10 +1628,10 @@
deep_info::in, deep_info::out) is det.
generate_depth_var(CSN, DepthVar, !DeepInfo) :-
- VarInfo0 = !.DeepInfo ^ deep_varinfos,
+ VarInfo0 = !.DeepInfo ^ deep_varinfo,
VarName = string.format("Depth%d", [i(CSN)]),
generate_var(VarName, int_type, DepthVar, VarInfo0, VarInfo),
- !:DeepInfo = !.DeepInfo ^ deep_varinfos := VarInfo.
+ !DeepInfo ^ deep_varinfo:= VarInfo.
:- pred generate_csn_vector(int::in, list(int)::in, list(prog_var)::out,
list(hlds_goal)::out, prog_var::out,
@@ -1659,13 +1660,13 @@
prog_var::out, hlds_goal::out, deep_info::in, deep_info::out) is det.
generate_csn_vector_cell(Length, CSNVars, CellVar, CellGoal, !DeepInfo) :-
- VarInfo0 = !.DeepInfo ^ deep_varinfos,
+ VarInfo0 = !.DeepInfo ^ deep_varinfo,
ProfilingBuiltin = mercury_profiling_builtin_module,
CellTypeName = string.format("call_site_nums_%d", [i(Length)]),
CellTypeId = type_ctor(qualified(ProfilingBuiltin, CellTypeName), Length),
construct_type(CellTypeId, [], CellType),
generate_var("CSNCell", CellType, CellVar, VarInfo0, VarInfo),
- !:DeepInfo = !.DeepInfo ^ deep_varinfos := VarInfo,
+ !DeepInfo ^ deep_varinfo := VarInfo,
ConsId = cons(qualified(ProfilingBuiltin, CellTypeName), Length),
generate_cell_unify(Length, ConsId, CSNVars, CellVar, CellGoal).
@@ -1673,10 +1674,10 @@
pair(prog_var, hlds_goal)::out, deep_info::in, deep_info::out) is det.
generate_single_csn_unify(CSN, CSNVar - UnifyGoal, !DeepInfo) :-
- VarInfo0 = !.DeepInfo ^ deep_varinfos,
+ VarInfo0 = !.DeepInfo ^ deep_varinfo,
VarName = string.format("CSN%d", [i(CSN)]),
generate_var(VarName, int_type, CSNVar, VarInfo0, VarInfo),
- !:DeepInfo = !.DeepInfo ^ deep_varinfos := VarInfo,
+ !DeepInfo ^ deep_varinfo := VarInfo,
generate_unify(int_const(CSN), CSNVar, UnifyGoal).
:- pred generate_deep_det_call(module_info::in, string::in, int::in,
@@ -1748,17 +1749,17 @@
Goal = hlds_goal(GoalExpr, GoalInfo).
% Create a variable with the given name and type, adding it to the
- % var_info structure.
+ % deep_prof_var_info structure.
%
-:- pred generate_var(string::in, mer_type::in, prog_var::out, var_info::in,
- var_info::out) is det.
+:- pred generate_var(string::in, mer_type::in, prog_var::out,
+ deep_prof_var_info::in, deep_prof_var_info::out) is det.
generate_var(Name, Type, Var, !VarInfo) :-
some [!VarSet, !VarTypes]
(
- !.VarInfo = var_info(!:VarSet, !:VarTypes),
+ !.VarInfo = deep_prof_var_info(!:VarSet, !:VarTypes),
generate_var_2(Name, Type, Var, !VarSet, !VarTypes),
- !:VarInfo = var_info(!.VarSet, !.VarTypes)
+ !:VarInfo = deep_prof_var_info(!.VarSet, !.VarTypes)
).
% Create a variable with the given name and type, adding it to the
@@ -1772,8 +1773,8 @@
svmap.set(Var, Type, !VarTypes).
:- pred maybe_generate_activation_ptr(bool::in, prog_var::in, prog_var::in,
- maybe(prog_var)::out, hlds_deep_excp_vars::out, var_info::in,
- var_info::out) is det.
+ maybe(prog_var)::out, hlds_deep_excp_vars::out,
+ deep_prof_var_info::in, deep_prof_var_info::out) is det.
maybe_generate_activation_ptr(UseActivationCounts, TopCSD, MiddleCSD,
MaybeActivationPtr, ExcpVars, !VarInfo) :-
@@ -1790,7 +1791,7 @@
:- pred generate_outermost_proc_dyns(bool::in, prog_var::in, prog_var::in,
maybe(prog_var)::out, prog_var::out, hlds_deep_excp_vars::out,
- var_info::in, var_info::out) is det.
+ deep_prof_var_info::in, deep_prof_var_info::out) is det.
generate_outermost_proc_dyns(UseActivationCounts, TopCSD, MiddleCSD,
MaybeOldActivationPtr, NewOutermostProcDyn, ExcpVars, !VarInfo) :-
@@ -1949,7 +1950,7 @@
% Information about variables, this is updated as variables are
% introduced.
- ci_var_info :: var_info,
+ ci_var_info :: deep_prof_var_info,
% The following fields are static; they are not modified
% after initialization.
@@ -2016,7 +2017,8 @@
%
:- pred coverage_prof_transform_goal(module_info::in, pred_proc_id::in,
maybe(deep_recursion_info)::in, hlds_goal::in, hlds_goal::out,
- var_info::in, var_info::out, list(coverage_point_info)::out) is det.
+ deep_prof_var_info::in, deep_prof_var_info::out,
+ list(coverage_point_info)::out) is det.
coverage_prof_transform_goal(ModuleInfo, PredProcId, MaybeRecInfo, !Goal,
!VarInfo, CoveragePoints) :-
@@ -2345,10 +2347,9 @@
),
coverage_prof_second_pass_goal(HeadDisjunct0, HeadDisjunct1,
- CoverageBeforeKnown, CoverageAfterDisjKnown, !Info,
- AddedImpurityHead),
- !:CoverageAfterKnown =
- coverage_before_known_and(!.CoverageAfterKnown, CoverageAfterDisjKnown),
+ CoverageBeforeKnown, CoverageAfterDisjKnown, !Info, AddedImpurityHead),
+ !:CoverageAfterKnown = coverage_before_known_and(!.CoverageAfterKnown,
+ CoverageAfterDisjKnown),
coverage_prof_second_pass_disj_2(DPInfo, coverage_before_unknown,
!CoverageAfterKnown, TailDisjuncts0, TailDisjuncts, !Info,
AddedImpurityTail),
@@ -2579,7 +2580,7 @@
% Create a coverage info struture, initializing some values to sensible
% defaults.
%
-:- func init_proc_coverage_info(var_info, module_info, pred_proc_id,
+:- func init_proc_coverage_info(deep_prof_var_info, module_info, pred_proc_id,
maybe(deep_recursion_info), coverage_profiling_options) =
proc_coverage_info.
cvs diff: Diffing compiler/notes
cvs diff: Diffing debian
cvs diff: Diffing debian/patches
cvs diff: Diffing deep_profiler
cvs diff: Diffing deep_profiler/notes
cvs diff: Diffing doc
cvs diff: Diffing extras
cvs diff: Diffing extras/base64
cvs diff: Diffing extras/cgi
cvs diff: Diffing extras/complex_numbers
cvs diff: Diffing extras/complex_numbers/samples
cvs diff: Diffing extras/complex_numbers/tests
cvs diff: Diffing extras/concurrency
cvs diff: Diffing extras/curs
cvs diff: Diffing extras/curs/samples
cvs diff: Diffing extras/curses
cvs diff: Diffing extras/curses/sample
cvs diff: Diffing extras/dynamic_linking
cvs diff: Diffing extras/error
cvs diff: Diffing extras/fixed
cvs diff: Diffing extras/gator
cvs diff: Diffing extras/gator/generations
cvs diff: Diffing extras/gator/generations/1
cvs diff: Diffing extras/graphics
cvs diff: Diffing extras/graphics/easyx
cvs diff: Diffing extras/graphics/easyx/samples
cvs diff: Diffing extras/graphics/mercury_allegro
cvs diff: Diffing extras/graphics/mercury_allegro/examples
cvs diff: Diffing extras/graphics/mercury_allegro/samples
cvs diff: Diffing extras/graphics/mercury_allegro/samples/demo
cvs diff: Diffing extras/graphics/mercury_allegro/samples/mandel
cvs diff: Diffing extras/graphics/mercury_allegro/samples/pendulum2
cvs diff: Diffing extras/graphics/mercury_allegro/samples/speed
cvs diff: Diffing extras/graphics/mercury_glut
cvs diff: Diffing extras/graphics/mercury_opengl
cvs diff: Diffing extras/graphics/mercury_tcltk
cvs diff: Diffing extras/graphics/samples
cvs diff: Diffing extras/graphics/samples/calc
cvs diff: Diffing extras/graphics/samples/gears
cvs diff: Diffing extras/graphics/samples/maze
cvs diff: Diffing extras/graphics/samples/pent
cvs diff: Diffing extras/lazy_evaluation
cvs diff: Diffing extras/lex
cvs diff: Diffing extras/lex/samples
cvs diff: Diffing extras/lex/tests
cvs diff: Diffing extras/log4m
cvs diff: Diffing extras/logged_output
cvs diff: Diffing extras/moose
cvs diff: Diffing extras/moose/samples
cvs diff: Diffing extras/moose/tests
cvs diff: Diffing extras/mopenssl
cvs diff: Diffing extras/morphine
cvs diff: Diffing extras/morphine/non-regression-tests
cvs diff: Diffing extras/morphine/scripts
cvs diff: Diffing extras/morphine/source
cvs diff: Diffing extras/net
cvs diff: Diffing extras/odbc
cvs diff: Diffing extras/posix
cvs diff: Diffing extras/posix/samples
cvs diff: Diffing extras/quickcheck
cvs diff: Diffing extras/quickcheck/tutes
cvs diff: Diffing extras/references
cvs diff: Diffing extras/references/samples
cvs diff: Diffing extras/references/tests
cvs diff: Diffing extras/solver_types
cvs diff: Diffing extras/solver_types/library
cvs diff: Diffing extras/trailed_update
cvs diff: Diffing extras/trailed_update/samples
cvs diff: Diffing extras/trailed_update/tests
cvs diff: Diffing extras/windows_installer_generator
cvs diff: Diffing extras/windows_installer_generator/sample
cvs diff: Diffing extras/windows_installer_generator/sample/images
cvs diff: Diffing extras/xml
cvs diff: Diffing extras/xml/samples
cvs diff: Diffing extras/xml_stylesheets
cvs diff: Diffing java
cvs diff: Diffing java/runtime
cvs diff: Diffing library
cvs diff: Diffing mdbcomp
cvs diff: Diffing profiler
cvs diff: Diffing robdd
cvs diff: Diffing runtime
cvs diff: Diffing runtime/GETOPT
cvs diff: Diffing runtime/machdeps
cvs diff: Diffing samples
cvs diff: Diffing samples/c_interface
cvs diff: Diffing samples/c_interface/c_calls_mercury
cvs diff: Diffing samples/c_interface/cplusplus_calls_mercury
cvs diff: Diffing samples/c_interface/mercury_calls_c
cvs diff: Diffing samples/c_interface/mercury_calls_cplusplus
cvs diff: Diffing samples/c_interface/mercury_calls_fortran
cvs diff: Diffing samples/c_interface/simpler_c_calls_mercury
cvs diff: Diffing samples/c_interface/simpler_cplusplus_calls_mercury
cvs diff: Diffing samples/c_interface/standalone_c
cvs diff: Diffing samples/diff
cvs diff: Diffing samples/muz
cvs diff: Diffing samples/rot13
cvs diff: Diffing samples/solutions
cvs diff: Diffing samples/solver_types
cvs diff: Diffing samples/tests
cvs diff: Diffing samples/tests/c_interface
cvs diff: Diffing samples/tests/c_interface/c_calls_mercury
cvs diff: Diffing samples/tests/c_interface/cplusplus_calls_mercury
cvs diff: Diffing samples/tests/c_interface/mercury_calls_c
cvs diff: Diffing samples/tests/c_interface/mercury_calls_cplusplus
cvs diff: Diffing samples/tests/c_interface/mercury_calls_fortran
cvs diff: Diffing samples/tests/c_interface/simpler_c_calls_mercury
cvs diff: Diffing samples/tests/c_interface/simpler_cplusplus_calls_mercury
cvs diff: Diffing samples/tests/diff
cvs diff: Diffing samples/tests/muz
cvs diff: Diffing samples/tests/rot13
cvs diff: Diffing samples/tests/solutions
cvs diff: Diffing samples/tests/toplevel
cvs diff: Diffing scripts
cvs diff: Diffing slice
cvs diff: Diffing ssdb
cvs diff: Diffing tests
cvs diff: Diffing tests/analysis
cvs diff: Diffing tests/analysis/ctgc
cvs diff: Diffing tests/analysis/excp
cvs diff: Diffing tests/analysis/ext
cvs diff: Diffing tests/analysis/sharing
cvs diff: Diffing tests/analysis/table
cvs diff: Diffing tests/analysis/trail
cvs diff: Diffing tests/analysis/unused_args
cvs diff: Diffing tests/benchmarks
cvs diff: Diffing tests/debugger
cvs diff: Diffing tests/debugger/declarative
cvs diff: Diffing tests/dppd
cvs diff: Diffing tests/general
cvs diff: Diffing tests/general/accumulator
cvs diff: Diffing tests/general/string_format
cvs diff: Diffing tests/general/structure_reuse
cvs diff: Diffing tests/grade_subdirs
cvs diff: Diffing tests/hard_coded
cvs diff: Diffing tests/hard_coded/exceptions
cvs diff: Diffing tests/hard_coded/purity
cvs diff: Diffing tests/hard_coded/sub-modules
cvs diff: Diffing tests/hard_coded/typeclasses
cvs diff: Diffing tests/invalid
cvs diff: Diffing tests/invalid/purity
cvs diff: Diffing tests/misc_tests
cvs diff: Diffing tests/mmc_make
cvs diff: Diffing tests/mmc_make/lib
cvs diff: Diffing tests/par_conj
cvs diff: Diffing tests/recompilation
cvs diff: Diffing tests/tabling
cvs diff: Diffing tests/term
cvs diff: Diffing tests/trailing
cvs diff: Diffing tests/valid
cvs diff: Diffing tests/warnings
cvs diff: Diffing tools
cvs diff: Diffing trace
cvs diff: Diffing util
cvs diff: Diffing vim
cvs diff: Diffing vim/after
cvs diff: Diffing vim/ftplugin
cvs diff: Diffing vim/syntax
--------------------------------------------------------------------------
mercury-reviews mailing list
Post messages to: mercury-reviews at csse.unimelb.edu.au
Administrative Queries: owner-mercury-reviews at csse.unimelb.edu.au
Subscriptions: mercury-reviews-request at csse.unimelb.edu.au
--------------------------------------------------------------------------
More information about the reviews
mailing list