使用arrow-kt的列表解析时出现ClassCastException

Question

我正在尝试使用Kotlin中的守卫列表理解。当我运行以下代码时，我得到一个ClassCastException，其中似乎没有相关的。

data class CharWrapper(val value: Char)

@Test
fun `isolate bug`() {
    val wrappedChars = listOf(CharWrapper('Y'), CharWrapper('K'))
    val chars = listOf('Y')

    val result: List<Pair<Char, CharWrapper>> = ListK.monadFilter().bindingFilter {
        val wrappedChar = wrappedChars.k().bind()
        val char = chars.k().bindWithFilter { it == wrappedChar.value }
        char to wrappedChar
    }.fix().list

    assertThat(result, hasItem('Y' to CharWrapper('Y')))
}

这是堆栈跟踪：

java.lang.ClassCastException: ArrowTest$CharWrapper cannot be cast to arrow.mtl.typeclasses.MonadFilterContinuation

at ArrowTest$isolate bug$result$1.doResume(ArrowTest.kt:20)
at kotlin.coroutines.experimental.jvm.internal.CoroutineImpl.resume(CoroutineImpl.kt:54)
at arrow.typeclasses.MonadContinuation$bind$$inlined$suspendCoroutineOrReturn$lambda$1.invoke(MonadContinuations.kt:59)
at arrow.typeclasses.MonadContinuation$bind$$inlined$suspendCoroutineOrReturn$lambda$1.invoke(MonadContinuations.kt:14)

第20行是开始val result的那个。

如何让这种理解起作用？

我在Java 1.8.0_131上使用Kotlin 1.2.41和Arrow-Kt 0.7.2。

Answer 1

根据pacoito，这是Arrow的已知问题，应该使用Arrow 0.7.4解决：

ClassCastException when using state transformer with ListK #834

更新：这已在0.7.3版本中修复。