search

typelevel / claimant

Library to support automatic labeling of ScalaCheck properties.
68 stars 10 forks source link

bug with floats #24

Open johnynek opened 5 years ago

johnynek commented 5 years ago 
[error] /Users/oscar/stripe/agate/tests/src/test/scala/com/stripe/agate/tensor/Float16Test.scala:142:12: inferred type arguments [Float.type] do not conform to method render's type parameter bounds [A]
[error]       Claim(JFloat.compare(x.toFloat, shortBitsToFloat(x.raw)) == 0)
[error]            ^
[error] /Users/oscar/stripe/agate/tests/src/test/scala/com/stripe/agate/tensor/Float16Test.scala:142:13: type mismatch;
[error]  found   : Float.type
[error]  required: A
[error]       Claim(JFloat.compare(x.toFloat, shortBitsToFloat(x.raw)) == 0)

but removing the Claim works.

johnynek commented 5 years ago

this is with java.lang.Float imported as JFloat.