search

SWI-Prolog / packages-semweb

The SWI-Prolog RDF store
29 stars 15 forks source link

Numeric constraint does not follow test case #54

Closed wouterbeek closed 7 years ago

wouterbeek commented 7 years ago

The following fails:

?- rdf_assert(s, p, 1.0).
?- { X == 1 }, rdf(_, _, X).

But it should succeed according to the following test case:

test(eq, set(X == [ 1^^xsd:byte,
                    1^^xsd:integer,
                    1.0^^xsd:double
                  ])) :-
    { X == 1 },
    rdf(_,_,X).
wouterbeek commented 7 years ago

My locale was set to nl_NL.UTF8. Changing the locale to en_US.UTF8 (in my case through the GNOME language settings dialog) and restarting fixed the issue.

wouterbeek commented 7 years ago

Yep, this one is fixed by changing the locale (not properly set on Ubuntu by default for some reason...)

JanWielemaker commented 7 years ago

Of course, the locale shouldn't matter and AFAIK this was fixed after the initial report. In any case, I cannot reproduce it any more. Thanks for closing.