| 1 2 3 4 | ||
|
Editor: gdr
Time: 2008/05/29 00:00:59 GMT-7 |
||
| Note: Fixed in OpenAxiom | ||
added:
From gdr Thu May 29 00:00:59 -0700 2008
From: gdr
Date: Thu, 29 May 2008 00:00:59 -0700
Subject: Fixed in OpenAxiom
Message-ID: <20080529000059-0700@axiom-wiki.newsynthesis.org>
Status: open => fixed somewhere
Internal Error:
Unexpected error or improper call to system function bottomUp :
unknown object form
axiomf(x:Domain):Integer == (x has IntegralDomain => 1; 0) Function declaration f : Domain -> Integer has been added to workspace.
axiomf(Integer)
Compiling function f with type Domain -> Integer
Internal Error
Unexpected error or improper call to system function bottomUp :
unknown object form