[m-rev.] diff: workaround bootstrapping problems

[Julien Fischer]

Don't use pragma memo in the compiler until bootstrapping problems on
some of our machines are resolved.

compiler/ctgc.selector.m:
 	Temporarily comment the pragma memos.  Some of Peter's
 	recent changes to the handling of reset predicates and
 	the interaction of memo pragams and intermodule optimisation
 	hadn't bootstrapped before changes that depended upon them
 	were introduced.

Julien.

Index: ctgc.selector.m
===================================================================
RCS file: /home/mercury/mercury1/repository/mercury/compiler/ctgc.selector.m,v
retrieving revision 1.24
diff -u -r1.24 ctgc.selector.m
--- ctgc.selector.m	12 Aug 2008 06:19:33 -0000	1.24
+++ ctgc.selector.m	12 Aug 2008 12:58:52 -0000
@@ -275,8 +275,8 @@
      % We assume that type definitions for a module don't change for the
      % duration of the analysis.
      %
-:- pragma memo(type_contains_subtype_1/4,
-    [allow_reset, specified([promise_implied, value, value, output])]).
+%:- pragma memo(type_contains_subtype_1/4,
+%    [allow_reset, specified([promise_implied, value, value, output])]).

  type_contains_subtype_1(ModuleInfo, FromType, ToType, Contains) :-
      queue.put(queue.init, FromType, Queue0),
@@ -314,8 +314,8 @@
  :- pred type_arg_types(module_info::in, mer_type::in, list(mer_type)::out)
      is det.

-:- pragma memo(type_arg_types/3,
-    [allow_reset, specified([promise_implied, value, output])]).
+%:- pragma memo(type_arg_types/3,
+%    [allow_reset, specified([promise_implied, value, output])]).

  type_arg_types(ModuleInfo, Type, ArgTypes) :-
      solutions(
@@ -377,8 +377,8 @@
              "select_subtype: type is both existential and non-existential")
      ).

-:- pragma memo(normalize_selector_with_type_information/4,
-    [allow_reset, specified([promise_implied, value, value, output])]).
+%:- pragma memo(normalize_selector_with_type_information/4,
+%    [allow_reset, specified([promise_implied, value, value, output])]).

  normalize_selector_with_type_information(ModuleInfo, Type, !Selector) :-
      ( is_introduced_type_info_type(Type) ->
--------------------------------------------------------------------------
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
--------------------------------------------------------------------------