[pure-lang-svn] SF.net SVN: pure-lang: [7] pure/trunk/lib
Status: Beta
Brought to you by:
agraef
|
From: <ag...@us...> - 2008-04-30 16:22:33
|
Revision: 7
http://pure-lang.svn.sourceforge.net/pure-lang/?rev=7&view=rev
Author: agraef
Date: 2008-04-30 09:22:40 -0700 (Wed, 30 Apr 2008)
Log Message:
-----------
Comment about impure operations.
Modified Paths:
--------------
pure/trunk/lib/primitives.pure
pure/trunk/lib/strings.pure
Modified: pure/trunk/lib/primitives.pure
===================================================================
--- pure/trunk/lib/primitives.pure 2008-04-30 16:21:01 UTC (rev 6)
+++ pure/trunk/lib/primitives.pure 2008-04-30 16:22:40 UTC (rev 7)
@@ -21,7 +21,7 @@
/* Throw an exception. */
-extern void pure_throw(expr*);
+extern void pure_throw(expr*); // IMPURE!
throw x = pure_throw x;
/* Predicates to check for the built-in types. */
@@ -276,11 +276,11 @@
get_string x::pointer = pointer_get_string x;
get_pointer x::pointer = pointer_get_pointer x;
-extern void pointer_put_byte(void *ptr, int x);
-extern void pointer_put_int(void *ptr, int x);
-extern void pointer_put_double(void *ptr, double x);
-extern void pointer_put_string(void *ptr, char *x);
-extern void pointer_put_pointer(void *ptr, void *x);
+extern void pointer_put_byte(void *ptr, int x); // IMPURE!
+extern void pointer_put_int(void *ptr, int x); // IMPURE!
+extern void pointer_put_double(void *ptr, double x); // IMPURE!
+extern void pointer_put_string(void *ptr, char *x); // IMPURE!
+extern void pointer_put_pointer(void *ptr, void *x); // IMPURE!
put_byte x::pointer y::int = pointer_put_byte x;
put_int x::pointer y::int = pointer_put_int x;
Modified: pure/trunk/lib/strings.pure
===================================================================
--- pure/trunk/lib/strings.pure 2008-04-30 16:21:01 UTC (rev 6)
+++ pure/trunk/lib/strings.pure 2008-04-30 16:22:40 UTC (rev 7)
@@ -26,7 +26,7 @@
case you will not always get a result expression.) */
extern expr* str(expr*);
-extern expr* eval(char*);
+extern expr* eval(char*); // IMPURE!
/* Convert between Unicode character codes and single character strings. */
This was sent by the SourceForge.net collaborative development platform, the world's largest Open Source development site.
|