login  home  contents  what's new  discussion  bug reports     help  links  subscribe  changes  refresh  edit

Submitted by : (unknown) at: 2007-11-17T22:19:21-08:00 (9 years ago)
Name :
Axiom Version :
Category : Severity : Status :
Optional subject :  
Optional comment :

axiom
f x == 
  a := 3 
  x + a
Type: Void
axiom
f 3
axiom
Compiling function f with type PositiveInteger -> PositiveInteger

\label{eq1}6(1)
axiom
g := x +-> (x+2 ; x+a)

\label{eq2}x \mapsto{
\begin{array}{l}
{\left(x + 2 \right)}
\
{\left(x + a \right)}
(2)
Type: AnonymousFunction?
axiom
g 3

\label{eq3}a + 3(3)
Type: Polynomial(Integer)

are right functions. But I can't use the function h. I get an error - h 3 : |a| is not of type list

axiom
h := x +-> (a := 3 ; x+a)

\label{eq4}x \mapsto{
\begin{array}{l}
{\left(a : = 3 \right)}
\
{\left(x + a \right)}
(4)
Type: AnonymousFunction?
axiom
h 3

\label{eq5}6(5)

fixed in OpenAxiom

Status: open => fixed somewhere

Status: fixed somewhere => closed




  Subject:   Be Bold !!
  ( 13 subscribers )  
Please rate this page: