Recursion Removal Rules


Current rule does not apply to flatll

The outermost function call is append

Result by the basic ideas:  

  flatll(x,<acc,num>) = case x of 
    nil         -> accnil
    Cons[x1,xs] -> append(x1,flatll(xs,<DUMMY,0>),
<acc,num>)  

flatll is not yet tail recursive