Skip to content

Commit

Permalink
Code with problems
Browse files Browse the repository at this point in the history
  • Loading branch information
serras committed May 13, 2022
1 parent cb53899 commit 102e644
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/commonMain/kotlin/example.kt
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
import arrow.analysis.pre

fun problem(numbers: List<Int>): Int =
0 // + numbers[0] + numbers[1] // <- problems!
0 + numbers[0] + numbers[1] // <- problems!

fun average(numbers: List<Int>): Int {
pre(!numbers.isEmpty()) { "list is not empty" }
Expand Down

0 comments on commit 102e644

Please sign in to comment.