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

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

On Aug 19, 2008, at 02:09, Albert Graef 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.)

It does print 0.

Perhaps this output is helpful:


$ DYLD_LIBRARY_PATH=. PURELIB=./lib ./pure -v7 ./lib/prelude.pure  
2>&1 | diff -u - ./test/prelude.log
--- -	2008-08-19 03:34:56.000000000 -0500
+++ ./test/prelude.log	2008-08-19 03:25:20.000000000 -0500
@@ -1,4 +1,4 @@
-./lib/prelude.pure:70.0-23: symbol 'false' is already defined as a  
constant
+const false,true = 0,1;
  f/*0:01*/$x/*0:1*/ = f/*0:01*/ x/*0:1*/;
  (f/*0:001*/.g/*0:01*/) x/*0:1*/ = f/*0:001*/ (g/*0:01*/ x/*0:1*/);
  void _/*0:1*/ = ();
$


On Leopard, the -n flag is not passed to pure, I suppose because $ 
(ECHO_N) is empty, which was done to begin to fix the problem of the  
string "-n" being output during the testing and the result (passed or  
FAILED) being printed on the next line. The first part ("-n" being  
printed out) has been fixed, the second (the result going to the  
second line) has not.


>> 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.

Is fixed, thanks!


Something else: I'm noticing that I cannot cancel the "make check" by  
pressing ^C. It just causes the currently-running test to fail, and  
proceeds with the next test.