3 (* A tail
-recursive loop which gives stack overflow
, unless one
4 uses storage mode analsysis
*)
11 type int_pair
= int * int
14 fun is_zero(0,0) = true
18 if n
=0 then (m
-1, maxint
)
21 fun loop (x
as (m
,n
)) =
25 fun loop
' p
= (loop p
; "\ndone\n")
28 print
"\nlooping...\n";
29 print (loop
'(maxint
,maxint
))