Hacker News new | ask | show | jobs
by Doxin 1108 days ago
Oh please tell me you can specify the length of your loops in lines of code executed.
1 comments

  var var i<10> = 0!!
  var var i = false!
  when (i) {
    print(i)!
    i++!
  }
I think this should print 0,1,2 and then stop, assuming checking the condition is a line of code, and that lifetimes are for lines executed and not just the syntax.