login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit
IssueTracker
#420 Tuple, again  ← ↑ →  #422 declarations escape Record

#421 improper call to system function bottomUp
  
last edited 17 years ago by gdr

Edit detail for #421 improper call to system function bottomUp revision 2 of 4
1 2 3 4
Editor: page
Time: 2008/05/27 17:28:42 GMT-7
Note: 

        

        







Submitted by
:
page
at:
2008-05-27T17:28:42-07:00 (17 years
 ago)


Name
:



Axiom Version
:



Category
:

Severity
:

Status
:


Optional subject
:  



Optional comment
: 









Internal Error:

   Unexpected error or improper call to system function bottomUp : 
      unknown object form





axiom
f(x:Domain):Integer == (x has IntegralDomain => 1; 0)
   Function declaration f : Domain -> Integer has been added to 
      workspace.


Type: Void


axiom
f(Integer)


axiom
Compiling function f with type Domain -> Integer 
   Internal Error
   Unexpected error or improper call to system function bottomUp : 
      unknown object form