From 4da4e775ade14aa9e8c2d0b4b106e743e4d283a4 Mon Sep 17 00:00:00 2001
From: dos-reis <gdr@axiomatics.org>
Date: Sun, 5 Oct 2008 03:06:07 +0000
Subject: 	* interp/c-util.boot (isAtomicForm): New. 
 (replaceSimpleFunctions): Use it.  Simplify back to original 
 implementation. 	(proclaimCapsuleFunction): Constructor parameters are
 generic. 	* interp/sys-utility.boot (getVMType): Handle wildcard. 
 * algebra/stream.spad.pamphlet: Don't build STREAM with 	proclamation
 on -- it currently violates type rules.

---
 TODO | 1 +
 1 file changed, 1 insertion(+)

(limited to 'TODO')

diff --git a/TODO b/TODO
index b0ae4949..b185cbdd 100644
--- a/TODO
+++ b/TODO
@@ -2,6 +2,7 @@
 === TODO ===
 ============
 
+* Fix STREAM implementation (dynamic semantics rules violation).
 * Fix compilation of domain where withon is empty.
 * Improve overload resolution routines.
 * Have an option to build OpenAxiom as a Firefox-based standalone
-- 
cgit v1.2.3