[pure-lang-svn] SF.net SVN: pure-lang: [34] pure/trunk

[<ag...@us...>]

Revision: 34
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=34&view=rev
Author:   agraef
Date:     2008-05-02 23:22:23 -0700 (Fri, 02 May 2008)

Log Message:
-----------
Disable tail call checks, as they may fail on some platforms.

Modified Paths:
--------------
    pure/trunk/ChangeLog
    pure/trunk/test/test4.log
    pure/trunk/test/test4.pure

Modified: pure/trunk/ChangeLog
===================================================================
--- pure/trunk/ChangeLog	2008-05-03 05:35:42 UTC (rev 33)
+++ pure/trunk/ChangeLog	2008-05-03 06:22:23 UTC (rev 34)
@@ -1,5 +1,8 @@
 2008-05-03  Albert Graef  <Dr....@t-...>
 
+	* test/test4.pure: Disable tail call checks, as they may fail on
+	some platforms. Reported by Ryan Schmidt.
+
 	* test/test1.pure: Corrected fact3 example, added test cases.
 	Reported by Libor Spacek.
 

Modified: pure/trunk/test/test4.log
===================================================================
--- pure/trunk/test/test4.log	2008-05-03 05:35:42 UTC (rev 33)
+++ pure/trunk/test/test4.log	2008-05-03 06:22:23 UTC (rev 34)
@@ -64,8 +64,6 @@
 }
 count 100;
 0
-count 10000000;
-0
 count2 n/*0:1*/::int = n/*0:1*/ if n/*0:1*/<=0;
 count2 n/*0:1*/::int = count2 (n/*0:1*/-1);
 {
@@ -77,8 +75,6 @@
 }
 count2 100;
 0
-count2 10000000;
-0
 test x/*0:1*/::int = t/*0*/ x/*0:1*/ with t n/*0:1*/::int = t/*1*/ (-n/*0:1*/) if n/*0:1*/<0; t n/*0:1*/::int = u/*0*/ (n/*0:1*/+2) with u _/*0:1*/ = n/*1:1*/+1 {
   rule #0: u _ = n+1
   state 0: #0

Modified: pure/trunk/test/test4.pure
===================================================================
--- pure/trunk/test/test4.pure	2008-05-03 05:35:42 UTC (rev 33)
+++ pure/trunk/test/test4.pure	2008-05-03 06:22:23 UTC (rev 34)
@@ -28,7 +28,7 @@
 count 100;
 // If proper tail calls are supported, this should work, too, no matter what
 // your stack size is.
-count 10000000;
+//count 10000000;
 
 // Tail recursion in a global function.
 
@@ -37,8 +37,9 @@
 
 // This should always work.
 count2 100;
-// Again, this should work as well, no matter what your stack size is.
-count2 10000000;
+// Again, this should work if proper tail calls are supported, no matter what
+// your stack size is.
+//count2 10000000;
 
 // Trivial tail-recursive local function which passes an environment to
 // another local function. Note that the callee can never be tail-called in


This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.