1
1
mirror of https://github.com/github/semantic.git synced 2024-11-24 00:42:33 +03:00

Bounds are closed ranges.

This commit is contained in:
Rob Rix 2017-06-15 10:06:15 -04:00
parent 2b46a7a347
commit eaa98912de

View File

@ -30,7 +30,7 @@ spec = parallel $ do
describe "featureVectorDecorator" $ do
prop "produces a vector of the specified dimension" $
\ (term, p, q, d) -> featureVectorDecorator (rhead . headF) (positively p) (positively q) (positively d) (unListableF term :: SyntaxTerm String '[Category]) `shouldSatisfy` all ((== (0, positively d)) . bounds . rhead)
\ (term, p, q, d) -> featureVectorDecorator (rhead . headF) (positively p) (positively q) (positively d) (unListableF term :: SyntaxTerm String '[Category]) `shouldSatisfy` all ((== (0, abs d)) . bounds . rhead)
describe "rws" $ do
prop "produces correct diffs" $