Changeset 4442 for trunk/compiler

Timestamp:

08/21/08 08:00:59 (5 months ago)

Author:

pmoura

Message:

Corrected a bug in the compilation of source file op/3 directives whose third argument is a list of operator specifiers instead of a single operator specifier.

Applied several optimizations to the Logtalk compiler, mostly related to non-detected deterministic predicates due to calls to dynamic predicates or due to limitations in clause indexing by most Prolog compilers.

Files:

• trunk/compiler/logtalk.pl (modified) (2 diffs)

trunk/compiler/logtalk.pl

@@ -5015 +5015 @@
 % '$lgt_pp_entity'(?atom, ?entity_identifier, ?atom, ?atom, ?atom)
 %
-% provides access to some common used data on the entity being compiled
+% provides deterministic access to some common used data on the entity being compiled
 
 '$lgt_pp_entity'(object, Entity, Prefix, Dcl, Mode) :-
@@ -7723 +7723 @@
 
 '$lgt_optimizable_local_db_call'(Pred, TPred) :-
-    '$lgt_pp_object_'(_, Prefix, _, _, _, _, _, _, _, _, _) ->  % exclude categories
-    '$lgt_compiler_flag'(debug, off),                           % not debugging
-    (   Pred = (Head :- Body) ->                                % only facts allowed
+    '$lgt_pp_entity'(object, _, Prefix, _, _),      % only for objects
+    '$lgt_compiler_flag'(debug, off),               % not debugging
+    (   Pred = (Head :- Body) ->                    % only facts allowed
         Body == true
     ;   Head = Pred