Changeset 4446

Show
Ignore:
Timestamp:
08/24/08 12:32:06 (5 months ago)
Author:
pmoura
Message:

Corrected a bug in the verification of portable calls that would fail to flag the soft-cut control construct (_ *-> _; _) found on some Prolog compilers.

Location:
trunk
Files:
2 modified

Legend:

Unmodified
Added
Removed

  • trunk/compiler/logtalk.pl

    r4443 r4446  
    1295312953'$lgt_iso_spec_pred'(call(_)). 
    1295412954'$lgt_iso_spec_pred'(!). 
    12955 '$lgt_iso_spec_pred'((_; _)). 
     12955'$lgt_iso_spec_pred'((Goal; _)) :- 
     12956    (   var(Goal) -> 
     12957        true 
     12958    ;   Goal \= '*->'(_, _) 
     12959    ). 
    1295612960'$lgt_iso_spec_pred'((_, _)). 
    1295712961'$lgt_iso_spec_pred'((_ -> _)). 
    12958 %'$lgt_iso_spec_pred'((_ -> _; _)). 
    1295912962'$lgt_iso_spec_pred'(catch(_, _, _)). 
    1296012963'$lgt_iso_spec_pred'(throw(_)). 

  • trunk/RELEASE_NOTES.txt

    r4445 r4446  
    4545    when using SWI-Prolog as the back-end compiler by making the lookup caches  
    4646    thread local. 
     47 
     48    Corrected a bug in the verification of portable calls that would fail to  
     49    flag the soft-cut control construct (_ *-> _; _) found on some Prolog  
     50    compilers. 
    4751 
    4852    Corrected a bug in the implementation of the built-in database predicates