Changeset 4591 for trunk/compiler

Show
Ignore:
Timestamp:
11/16/08 15:14:25 (8 weeks ago)
Author:
pmoura
Message:

Corrected a bug in the implementation of the predicate_property/2 built-in method which would return wrong meta-predicate templates for predicate aliases.

Files:
1 modified

Legend:

Unmodified
Added
Removed

  • trunk/compiler/logtalk.pl

    r4580 r4591  
    20012001    ;   Prop = declared_in(TCtn) 
    20022002    ;   Meta \== no, 
    2003         Prop = meta_predicate(Meta) 
     2003        Meta =.. [_| MetaArgs],                         % Pred can be an alias 
     2004        functor(Pred, Functor, _), 
     2005        Meta2 =.. [Functor| MetaArgs], 
     2006        Prop = meta_predicate(Meta2) 
    20042007    ;   NonTerminal \== no, 
    20052008        functor(Pred, Functor, Arity2),