[m-rev.] trivial diff: delete hlds_pred.proc_info_set/20

[Julien Fischer]

Estimated hours taken: 0
Branches: main

compiler/hlds_pred.m
 	Delete the predicate proc_info_set/20 since it is unused.
 	Keeping it creates unnecessary work every time the proc_info
 	or proc_sub_info are modified.

Julien.

Index: hlds_pred.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/hlds_pred.m,v
retrieving revision 1.214
diff -u -r1.214 hlds_pred.m
--- hlds_pred.m	5 Dec 2006 03:50:52 -0000	1.214
+++ hlds_pred.m	12 Dec 2006 05:18:10 -0000
@@ -1682,14 +1682,6 @@
      maybe(list(mer_mode))::in, list(mer_mode)::in, maybe(list(is_live))::in,
      maybe(determinism)::in, is_address_taken::in, proc_info::out) is det.

-:- pred proc_info_set(prog_context::in, prog_varset::in, vartypes::in,
-    list(prog_var)::in, inst_varset::in, list(mer_mode)::in,
-    maybe(list(is_live))::in, maybe(determinism)::in, determinism::in,
-    hlds_goal::in, bool::in, rtti_varmaps::in,
-    maybe(arg_size_info)::in, maybe(termination_info)::in,
-    termination2_info::in, is_address_taken::in, stack_slots::in,
-    maybe(list(arg_info))::in, liveness_info::in, proc_info::out) is det.
-
  :- pred proc_info_create(prog_context::in, prog_varset::in, vartypes::in,
      list(prog_var)::in, inst_varset::in, list(mer_mode)::in,
      determinism::in, hlds_goal::in, rtti_varmaps::in,
@@ -2222,21 +2214,6 @@
          ClauseBody, CanProcess, ModeErrors, RttiVarMaps, eval_normal,
          ProcSubInfo).

-proc_info_set(Context, BodyVarSet, BodyTypes, HeadVars, InstVarSet, HeadModes,
-        HeadLives, DeclaredDetism, InferredDetism, Goal, CanProcess,
-        RttiVarMaps, ArgSizes, Termination, Termination2,
-        IsAddressTaken, StackSlots, ArgInfo, Liveness, ProcInfo) :-
-    ModeErrors = [],
-    SharingInfo = structure_sharing_info_init,
-    ReuseInfo = structure_reuse_info_init,
-    ProcSubInfo = proc_sub_info(ArgSizes, Termination, Termination2,
-        IsAddressTaken, StackSlots, ArgInfo, Liveness, no, no, no, no, no,
-        no, no, no, SharingInfo, ReuseInfo),
-    ProcInfo = proc_info(Context, BodyVarSet, BodyTypes, HeadVars,
-        InstVarSet, no, HeadModes, no, HeadLives,
-        DeclaredDetism, InferredDetism, Goal, CanProcess, ModeErrors,
-        RttiVarMaps, eval_normal, ProcSubInfo).
-
  proc_info_create(Context, VarSet, VarTypes, HeadVars, InstVarSet,
          HeadModes, Detism, Goal, RttiVarMaps, IsAddressTaken, ProcInfo) :-
      proc_info_create(Context, VarSet, VarTypes, HeadVars, InstVarSet,

--------------------------------------------------------------------------
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
--------------------------------------------------------------------------