[pure-lang-svn] SF.net SVN: pure-lang:[652] pure/trunk/lib/primitives.pure

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

Revision: 652
          http://pure-lang.svn.sourceforge.net/pure-lang/?rev=652&view=rev
Author:   agraef
Date:     2008-08-28 11:27:46 +0000 (Thu, 28 Aug 2008)

Log Message:
-----------
Remove assert convenience function, it's not really worth having trivial stuff like that in the prelude.

Modified Paths:
--------------
    pure/trunk/lib/primitives.pure

Modified: pure/trunk/lib/primitives.pure
===================================================================
--- pure/trunk/lib/primitives.pure	2008-08-28 11:25:58 UTC (rev 651)
+++ pure/trunk/lib/primitives.pure	2008-08-28 11:27:46 UTC (rev 652)
@@ -23,11 +23,6 @@
 
 extern void pure_throw(expr*) = throw; // IMPURE!
 
-/* Convenience function to ensure a condition p. Returns 1 (true) if p holds,
-   and throws the given exception e otherwise. */
-
-assert p e	= if p then 1 else throw e;
-
 /* Syntactic equality. */
 
 extern bool same(expr* x, expr* y);


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