remove deprecated procs (#12535)

This commit is contained in:
Andreas Rumpf 2019-11-05 11:05:46 +01:00 • committed by Miran
commit 3ba3307d61
39 changed files with 111 additions and 567 deletions

View file

@ -35,9 +35,9 @@ proc main =
parallel:
for n in nums: # Error: cannot prove: i <= len(nums) + -1
spawn log(n)
#for i in 0 .. <nums.len: # Error: cannot prove: i <= len(nums) + -1
#for i in 0 ..< nums.len: # Error: cannot prove: i <= len(nums) + -1
#for i in 0 .. nums.len-1: # WORKS!
#for i in 0 .. <nums.len: # WORKS!
#for i in 0 ..< nums.len: # WORKS!
# spawn log(nums[i])
# Array needs explicit size to work, probably related to issue #2287