CLPZ: Error: syntax error unexpected

[flexoron]

v2.50.32

?- assertz(clpz:monotonic).
   true.
?- use_module(library(clpz)).
   true.
?- 1 #= #X.
Error: syntax error, near '#=', operator expected, user:1 % unexpected
?-

[infradig]

Dunno, something to do with goal expansion maybe. Putting the assertz after the use_module is obviously fine.

Oddly Scryer does this...

$ scryer-prolog ?- assertz(clpz:monotonic). true. ?- use_module(library(clpz)). % Warning: overwriting $clause/2 because the clauses are discontiguous true. ?- 1 #= #X. X = 1.

So the order seems meaningful at some level.

On Sat, Apr 20, 2024 at 11:25 AM flexoron @.***> wrote:

v2.50.32

?- assertz(clpz:monotonic). true. ?- use_module(library(clpz)). true. ?- 1 #= #X. Error: syntax error, near '#=', operator expected, user:1 % unexpected ?-

— Reply to this email directly, view it on GitHub https://github.com/trealla-prolog/trealla/issues/528, or unsubscribe https://github.com/notifications/unsubscribe-auth/AFNKSEWOC4VZXD4IRLVTZ2LY6G7Z7AVCNFSM6AAAAABGQBWQGGVHI2DSMVQWIX3LMV43ASLTON2WKOZSGI2TIMZQHEZTMOI . You are receiving this because you are subscribed to this thread.Message ID: @.***>

[infradig]

Just noticed you comment on Scryer issues.