"root" of ChunkPerFunc chunk

Matthew Fluet fluet@CS.Cornell.EDU
Thu, 2 Nov 2000 14:56:21 -0500 (EST)


> > fun f(0) = 0
> >   | f(1) = 1
> >   | f(x + 15 handle Overflow => if x mod 2 = 0 then 0 else 1)
> 
> Did you mean the following?
> 
> fun f(0) = 0
>   | f(1) = 1
>   | f(x) = f(x + 15 handle Overflow => if x mod 2 = 0 then 0 else 1)


Yes.