Re: [pure-lang-users] 64-bit build-problems

[Albert G. <Dr....@t-...>]

Tim Haynes wrote:
>>> fact 0 = 1;
>>> fact n = n * fact (n-1);
>>> fact 4;
>> 1
> 
> You're right about that. Don't understand why. :/

Ok, looks like I finally have to install a 64 bit SUSE on my laptop. In
the meantime, could you please send me your output of running that
script with 'pure -v15'? That is, put those three lines,

fact 0 = 1;
fact n = n * fact (n-1);
fact 4;

in a file test.pure, say, and send me the output of 'pure -v15 test.pure'.

> Worse, and *maybe* related: trying a quick flip-around of that definition:
> 
>  | > fact n=1 if n==0; =n * fact (n-1) otherwise;
>  | > fact 4;
>  | zsh: segmentation fault  pure

That looks like it's a stack overflow. If it's really a 64 bit related
bug in the code generator, I should be able to see this in the trace
from above.

Albert

-- 
Dr. Albert Gr"af
Dept. of Music-Informatics, University of Mainz, Germany
Email:  Dr....@t-..., ag...@mu...
WWW:    http://www.musikinformatik.uni-mainz.de/ag