Changeset 4304

Timestamp:

06/08/08 03:20:46 (3 months ago)

Author:

pmoura

Message:

Simplified the generated source file initialization goal to avoid redundant calls to true/0.

Files:

• trunk/compiler/logtalk.pl (modified) (1 diff)

trunk/compiler/logtalk.pl

@@ -10568 +10568 @@
     ),
     (   Type \== protocol, Compilation == static, '$lgt_compiler_flag'(reload, skip) ->
-        Goal = (Goal5, '$lgt_add_static_binding_cache_entry'(Entity))
-    ;   Goal = Goal5  
-    ),
-    (   Goal == true ->
+        Goal6 = (Goal5, '$lgt_add_static_binding_cache_entry'(Entity))
+    ;   Goal6 = Goal5  
+    ),
+    (   Goal6 == true ->
         true
-    ;   assertz('$lgt_pp_entity_init_'(Type, Entity, Goal))
+    ;   '$lgt_simplify_body'(Goal6, Goal),
+        assertz('$lgt_pp_entity_init_'(Type, Entity, Goal))
     ).