|
|
last edited 10 years ago by test1 |
1 2 3 4 | ||
Editor: gdr
Time: 2008/01/24 21:23:23 GMT-8 |
||
Note: |
added:
From gdr Thu Jan 24 21:23:23 -0800 2008
From: gdr
Date: Thu, 24 Jan 2008 21:23:23 -0800
Subject:
Message-ID: <20080124212323-0800@axiom-wiki.newsynthesis.org>
fixed in OpenAxiom
axiomf x == a := 3 x + a
axiomf 3
Compiling function f with type PositiveInteger -> PositiveInteger
![]() | (1) |
axiomg := x +-> (x+2 ; x+a)
![]() | (2) |
axiomg 3
![]() | (3) |
are right functions.
But I can't use the function h. I get an error - h 3 : |a| is not of type list
axiomh := x +-> (a := 3 ; x+a)
![]() | (4) |
axiomh 3 >> System error: |a| is not of type LIST.