We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent aa14d5e commit 6e5868aCopy full SHA for 6e5868a
src/test/scala/singleton/ops/OpInterceptSpec.scala
@@ -7,7 +7,7 @@ import singleton.TestUtils._
7
class OpInterceptSpec extends Properties("OpInterceptSpec") {
8
9
trait Vec[A0, A1] {
10
- def show(implicit a0 : ValueOf[A0], a1 : ValueOf[A1]) : String = s"Vec[${valueOf[A0]}, ${valueOf[A1]}]"
+ def show(implicit a0 : Id[A0], a1 : Id[A1]) : String = s"Vec[${a0.value}, ${a1.value}]"
11
}
12
13
implicit def `Vec+`[VL0, VL1, VR0, VR1](
0 commit comments