| fun box(): String { | |
| val a: DoubleArray = DoubleArray(size = 5) | |
| val x: DoubleIterator = a.iterator() | |
| var i: Int = 0 | |
| while (x.hasNext()) { // BLOCK | |
| when { | |
| ieee754equals(arg0 = a.get(index = i), arg1 = x.next()).not() -> return "Fail " + i | |
| } | |
| { // BLOCK | |
| val tmp_0: Int = i | |
| i = tmp_0.inc() | |
| tmp_0 | |
| } /*~> Unit */ | |
| } | |
| return "OK" | |
| } |