Changeset 4185

Timestamp:

04/03/08 10:38:08 (8 months ago)

Author:

pmoura

Message:

Corrected a Logtalk compiler bug where local definition clauses for dynamic predicates are being generated for categories. Thanks to Victor Noel for the bug report.

Location:

trunk

Files:

• compiler/logtalk.pl (modified) (6 diffs)
• RELEASE_NOTES.txt (modified) (1 diff)

trunk/compiler/logtalk.pl

@@ -515 +515 @@
     '$lgt_tr_directives'(Dirs, user_input, _),
     '$lgt_tr_clauses'(Clauses, user_input),
-    '$lgt_gen_local_def_clauses',
+    '$lgt_gen_object_local_def_clauses',
     '$lgt_fix_synchronized_preds',
     '$lgt_fix_pred_calls',
@@ -565 +565 @@
     '$lgt_tr_directives'(Dirs, user_input, _),
     '$lgt_tr_clauses'(Clauses, user_input),
-    '$lgt_gen_local_def_clauses',
     '$lgt_fix_synchronized_preds',
     '$lgt_fix_pred_calls',
@@ -8880 +8879 @@
 
 '$lgt_generate_code'(object) :-
-    '$lgt_gen_local_def_clauses',
+    '$lgt_gen_object_local_def_clauses',
     '$lgt_fix_synchronized_preds',
     '$lgt_fix_pred_calls',
@@ -8888 +8887 @@
 
 '$lgt_generate_code'(category) :-
-    '$lgt_gen_local_def_clauses',
     '$lgt_fix_synchronized_preds',
     '$lgt_fix_pred_calls',
@@ -9070 +9068 @@
 
 
-% '$lgt_gen_local_def_clauses'
+% '$lgt_gen_object_local_def_clauses'
 %
 % generates local def clauses for undefined but declared (via scope or dynamic directives) predicates
-
-'$lgt_gen_local_def_clauses' :-
+% (only necessary for objects as categories cannot contain clauses for dynamic predicates)
+
+'$lgt_gen_object_local_def_clauses' :-
     '$lgt_pp_entity'(_, _, EntityPrefix, _, _),
     '$lgt_ctx_prefix'(Ctx, EntityPrefix),
@@ -9088 +9087 @@
     fail.
 
-'$lgt_gen_local_def_clauses'.
+'$lgt_gen_object_local_def_clauses'.
 
 

trunk/RELEASE_NOTES.txt

@@ -33 +33 @@
     Corrected a Logtalk compiler bug that allowed a predicate to be declared 
     both dynamic and synchronized. Thanks to Paul Crocker for the bug report.
+
+    Corrected a Logtalk compiler bug where local definition clauses for 
+    dynamic predicates are being generated for categories. Thanks to Victor 
+    Noel for the bug report.
 
     Updated the YAP and SWI-Prolog config files to set the default value of