Jun Sekine
03/27/2023, 10:26 PM./gradlew knit
generates unnecessary codes as below, and they are removed manually when committing.
could you help this problems?
import arrow.core.*
fun test() {
val original: List<String> = listOf("Hello", ",", "World")
val result: Iterable<CharSequence> = original.widen()
}
import arrow.core.*
fun main() {
val original: List<String> = listOf("Hello", ",", "World")
val result: Iterable<CharSequence> = original.widen()
}
Youssef Shoaib [MOD]
03/28/2023, 12:21 AMwiden
functions. That's because knit merges together code blocks that don't belong to a file yet. You could also have the widen functions have their own knit files. I can make a pr with that if you wantpartitionMap
simon.vergauwen
03/28/2023, 6:51 AM::identity
to recreate the existing function.