rdf4h
rdf4h copied to clipboard
`same` function passed to p_select_match_fn in Data.RDF.GraphTestUtils
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