rdf4h icon indicating copy to clipboard operation
rdf4h copied to clipboard

`same` function passed to p_select_match_fn in Data.RDF.GraphTestUtils

Open robstewart57 opened this issue 10 years ago • 0 comments

I don't understand some of the same definitions for the property test cases for select*. E.g. two triples t1 and t2 are apparently the same for p_select_match_spo in

same t1 t2 = subjectOf t1 == subjectOf t2 && predicateOf t1 == predicateOf t2 &&
                 objectOf t1 /= objectOf t2

Why objectOf t1 /= objectOf t2 ? I'd have thought objectOf t1 == objectOf t2 .

This oddity is seen in p_select_match_sp and p_select_match_so and p_select_match_spo.

https://github.com/robstewart57/rdf4h/blob/master/testsuite/tests/Data/RDF/GraphTestUtils.hs

robstewart57 avatar Dec 26 '14 13:12 robstewart57