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

[Ryan S. <rya...@us...>]

On Aug 19, 2008, at 00:59, Albert Graef wrote:

> Ryan Schmidt wrote:
>
>> Here it is, but it is the same prelude.log that is in your repository
>> (hence no differences shown by "svn diff")
>
> Sorry, it was late. ;-)
>
> But if regenerating the log doesn't show any differences, then it
> shouldn't fail on 'make check' either. Does it still fail there?
>
> 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!


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.