i1 : n = 0
o1 = 0
|
i2 : t = schedule(() -> while true do n = n+1)
o2 = <<task, running>>
o2 : Task
|
i3 : sleep 1
o3 = 0
|
i4 : t
o4 = <<task, running>>
o4 : Task
|
i5 : n
o5 = 192174
|
i6 : sleep 1
o6 = 0
|
i7 : t
o7 = <<task, running>>
o7 : Task
|
i8 : n
o8 = 319256
|
i9 : isReady t
o9 = false
|
i10 : cancelTask t
|
i11 : sleep 2
stdio:2:26:(3):[1]: error: interrupted
o11 = 0
|
i12 : t
o12 = <<task, canceled>>
o12 : Task
|
i13 : n
o13 = 319257
|
i14 : sleep 1
o14 = 0
|
i15 : n
o15 = 319257
|
i16 : isReady t
o16 = false
|