Changeset 4446 for trunk/compiler

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.

Files:
1 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(_)).