CHR test file shows warnings during `make check`
Wouter Beek <[email protected]>
| Newsgroups | gmane.comp.ai.prolog.swi |
|---|---|
| Message-ID | <CAE1un7N4Rc+0VjET+wHoHB-X0PUGfery23iPVPhxqAMnwueKjg@mail.gmail.com> |
Hi all,
Upon `make check` for SWI-Prolog's packages I get the following warnings
(commit db4de20f42396e1e9c0bf1286dce368ca5186afc). I'm not too familiar
with the CHR library, but I thought I'd report it anyway.
~~~
Running scripts from Tests
/home/wbeek/Git/pl-devel/packages/chr/Tests/dense_int.chr
. /home/wbeek/Git/pl-devel/packages/chr/Tests/fibonacci.chr
. /home/wbeek/Git/pl-devel/packages/chr/Tests/leq.chr
. /home/wbeek/Git/pl-devel/packages/chr/Tests/passive_check2.chr
. /home/wbeek/Git/pl-devel/packages/chr/Tests/passive_check.chr
. /home/wbeek/Git/pl-devel/packages/chr/Tests/primes.chr
================================================================================
CHR compiler WARNING:
`--> Heads will never match or guard will always fail in rule number 4
(line 24).
This rule will never fire!
================================================================================
================================================================================
CHR compiler WARNING:
`--> All heads passive in rule number 4 (line 24).
This rule never fires. Please check your program.
================================================================================
.
/home/wbeek/Git/pl-devel/packages/chr/Tests/trigger_no_active_occurrence.chr
. /home/wbeek/Git/pl-devel/packages/chr/Tests/zebra.chr
. done
~~~
---
Cheers!,
Wouter.
E-mail: [email protected]
WWW: www.wouterbeek.com
Tel.: 0647674624
-------------- next part --------------
HTML attachment scrubbed and removed