Scryer-prolog: Question about src/tests/builtins.pl

[notoria]

When testing this happens:

$ scryer-prolog src/tests/builtins.pl 
Warning: initialization goal for src/tests/builtins.pl failed
?- 

So this mean the test test_queries_on_builtins failed.

But there is 1 @=< 1.0. at line 117, is it supposed to succeed?

[triska]

Please also see #411, which would help tremendously to detect such issues earlier.

[mthom]

But there is 1 @=< 1.0. at line 117, is it supposed to succeed?

In the ISO standard, all floating-point numbers precede all integers, regardless of where they fall on the real number line. The comparison predicates were revised to reflect this just 1 - 2 months ago, so the test is out of date.

[notoria]

If one clause fails then how is one supposed to find the culprit? The test is to validate scryer-prolog, not having an _easy_ way to find the culprit makes it hard to what is failing.

Could the test look like this?

test(1) :-
    \+ atom(_).

[mthom]

Process of elimination? It's a poor way to go about it, I agree. I'm open to ideas for improvement.

[pmoura]

Process of elimination? It's a poor way to go about it, I agree. I'm open to ideas for improvement.

With the steady progress on Scryer Prolog development, you may soon be able to run Logtalk with it and then use lgtunit to test built-ins, standards compliance, and libraries.

[notoria]

I used this to find some case.

[mthom]

Process of elimination? It's a poor way to go about it, I agree. I'm open to ideas for improvement.

With the steady progress on Scryer Prolog development, you may soon be able to run Logtalk with it and then use lgtunit to test built-ins, standards compliance, and libraries.

That would be great! Streams are quite close to being done.