Svetlana Isakova
21 lines
639 B
Kotlin
21 lines
639 B
Kotlin
//KT-4711 Error type with no error reported from type inference
|
|
|
|
fun main(args:Array<String>) {
|
|
val n = 100
|
|
val delta = 1.0 / n
|
|
val startTimeNanos = System.nanoTime()
|
|
|
|
// the problem sits on the next line:
|
|
val pi = 4.0.toDouble() * delta * (1..n).<!TYPE_INFERENCE_CONFLICTING_SUBSTITUTIONS!>reduce<!>(
|
|
{t, i ->
|
|
val x = (i - 0.5) * delta
|
|
t + 1.0 / (1.0 + x * x)
|
|
|
|
})
|
|
// !!! pi has error type here
|
|
|
|
val elapseTime = (System.nanoTime() - startTimeNanos) / 1e9
|
|
|
|
println("pi_sequential_reduce $<!DEBUG_INFO_ELEMENT_WITH_ERROR_TYPE!>pi<!> $n $elapseTime")
|
|
}
|