2018-07-08 13:03:23 -04:00
|
|
|
prelude: |
|
|
|
|
def rec n
|
|
|
|
if n > 0
|
|
|
|
rec n-1
|
|
|
|
else
|
|
|
|
raise
|
|
|
|
end
|
|
|
|
end
|
2018-07-08 11:35:22 -04:00
|
|
|
benchmark:
|
|
|
|
vm2_raise2: |
|
2018-07-08 13:03:23 -04:00
|
|
|
begin
|
|
|
|
rec 10
|
|
|
|
rescue
|
|
|
|
# ignore
|
2018-07-08 11:35:22 -04:00
|
|
|
end
|
2018-07-08 13:03:23 -04:00
|
|
|
loop_count: 6000000
|