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

Edit detail for #272 functions +-> and blocks of instructions revision 2 of 4

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

Submitted by : (unknown) at: 2007-11-17T22:19:21-08:00 (16 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
LatexWiki Image(1)
Type: PositiveInteger?
axiom
g := x +-> (x+2 ; x+a)
LatexWiki Image(2)
Type: AnonymousFunction?
axiom
g 3
LatexWiki Image(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)
LatexWiki Image(4)
Type: AnonymousFunction?
axiom
h 3 >> System error: |a| is not of type LIST.

fixed in OpenAxiom?