Re: [pure-lang-users] Proposed syntax changes

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

Ryan Schmidt wrote:
>> Can you please send me the output of this command:
>> DYLD_LIBRARY_PATH=. PURELIB=lib ./pure -n -v7 lib/prelude.pure | diff
>> test/prelude.log -
> 
> No output!

Hmm, that's how it's supposed to be. But still 'make check' fails? What 
does the following command print?

DYLD_LIBRARY_PATH=. PURELIB=lib ./pure -n -v7 lib/prelude.pure | diff 
test/prelude.log -; echo $?

(That should print just the exit code '0' if everything is all right.)

> Separately: I tested on Tiger. There, prelude.pure and all other tests 
> pass, except test017.pure which fails. I deleted test017.log and ran 
> "make logs", and test017.log is different; attached.

Yeah, apparently CLOCKS_PER_SEC differs from the usual value on some 
Apple systems. Should be fixed in r537.

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