library(lambda): Unexpected existence error with (+\)/2

[triska]

With the following program:

:- use_module(library(lambda)).

t.

I get:

?- t.
   true. % expected
?- n+\t.
   error(existence_error(procedure,t/0),t/0), unexpected.

It works as expected if I explicitly qualify the goal:

?- n+\user:t.
   true.

A related issue is #2619, I am not sure it is the same as this one, since this one involves (+\)/2 whereas the other does not.

[hurufu]

I think it is some sort of regression, because it works Ok, on my system-wide Scryer installation:

$ scryer-prolog -v
379cbfd

version: 0.9.4-1

[triska]

Thank you a lot, this works perfectly now!

[infradig]

It works as expected if I explicitly qualify the goal:

?- n+\user:t. true.

How is this not a type error on the module qualifier? There should need to be parenthesis around user:t should there not?

[triska]

Yes, completely correct, I have filed #2685 for this, thank you a lot!