-- -*- M2-comint -*- {* hash: -756249069 *} i1 : recursionDepth() o1 = 0 i2 : f = x -> recursionDepth() o2 = f o2 : FunctionClosure i3 : f() o3 = 1 i4 : g = x -> f() o4 = g o4 : FunctionClosure i5 : g() o5 = 2 i6 : r = i -> if i == 100 then recursionDepth() else r(i+1) o6 = r o6 : FunctionClosure i7 : r 0 o7 = 1 i8 :