Hi Waldek,
Can you give an example of what bug is fixed by this patch?
Ralf
Revision: 923
http://fricas.svn.sourceforge.net/fricas/?rev=923&view=rev
Author: whebisch
Date: 2010-10-13 16:37:23 +0000 (Wed, 13 Oct 2010)
Log Message:
-----------
Fix a bug with conditional type info.
Modified Paths:
--------------
trunk/ChangeLog
trunk/src/interp/info.boot
Modified: trunk/ChangeLog
===================================================================
--- trunk/ChangeLog 2010-10-13 16:33:38 UTC (rev 922)
+++ trunk/ChangeLog 2010-10-13 16:37:23 UTC (rev 923)
@@ -1,5 +1,9 @@
2010-10-13 Waldek Hebisch<[email protected]>
+ * src/interp/info.boot: Fix a bug with conditional type info.
+
+2010-10-13 Waldek Hebisch<[email protected]>
+
* src/algebra/manip.spad.pamphlet,
patching file src/interp/c-util.boot: Misc cleanups.
Modified: trunk/src/interp/info.boot
===================================================================
--- trunk/src/interp/info.boot 2010-10-13 16:33:38 UTC (rev 922)
+++ trunk/src/interp/info.boot 2010-10-13 16:37:23 UTC (rev 923)
@@ -249,6 +249,9 @@
--SAY("Category extension error:
--cat shouldn't be a join
--what was being asserted is an ancestor of what was
known
+ -- augModemapsFromCategory asserts that domain is in scope,
+ -- so make sure it really is (and not only the extra view we add)
+ $e := addDomain(name, $e)
if ATOM(name)
then $e:= augModemapsFromCategory(name,name,name,cat,$e)
else
This was sent by the SourceForge.net collaborative development platform, the
world's largest Open Source development site.
--
You received this message because you are subscribed to the Google Groups "FriCAS -
computer algebra system" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/fricas-devel?hl=en.
