From 102e644325b366797e48c2997d0ae4b3aaa6afc2 Mon Sep 17 00:00:00 2001 From: Alejandro Serrano Date: Wed, 12 Jan 2022 17:34:10 +0100 Subject: [PATCH] Code with problems --- src/commonMain/kotlin/example.kt | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/commonMain/kotlin/example.kt b/src/commonMain/kotlin/example.kt index a6d0836..a106a0e 100644 --- a/src/commonMain/kotlin/example.kt +++ b/src/commonMain/kotlin/example.kt @@ -1,7 +1,7 @@ import arrow.analysis.pre fun problem(numbers: List): Int = - 0 // + numbers[0] + numbers[1] // <- problems! + 0 + numbers[0] + numbers[1] // <- problems! fun average(numbers: List): Int { pre(!numbers.isEmpty()) { "list is not empty" }