Re: Error on --min-pl-bips

[Paulo Moura]

on 11.12.00 08:04, Elmar Haneke at address@hidden wrote:

> The --min-pl-bips option seems to be buggy. If I run my PRogram
> compiled using this option I get an series of
> "system_error(cannot_catch_throw(error(existence_error(procedure,(@>)/2),finda
> ll/3)))"
> 
> errors.
> 
> I'm using GNU-Prolog 1.2.1 on the latest Cygwin-tools, the same
> problem happens using the Linux based compiler.

I believe that the current version don't look inside of meta-predicate calls
like findall/3 to check either a built-in predicate is called in your
clauses.

Paulo


-----------------------------------------------------------
Paulo Jorge Lopes de Moura
Dep. of Informatics                   Office 4.32 Ext. 3251
University of Beira Interior          Phone: +351 275319700
6201-001 Covilhã                      Fax:   +351 275319732
Portugal

mailto:address@hidden
http://www.ci.uc.pt/logtalk/pmoura.html
-----------------------------------------------------------