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

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

For some strange reason, without issuing

axiom
)se fu co on

the following will not work and cause the interpreter to crash:

axiom
f(xl: LIST FRAC INT): LIST FRAC INT == map(x +-> x, xl)
Function declaration f : List(Fraction(Integer)) -> List(Fraction( Integer)) has been added to workspace.
Type: Void
axiom
f [1,2,3]
axiom
Compiling function f with type List(Fraction(Integer)) -> List(
      Fraction(Integer))

\label{eq1}\left[ 1, \: 2, \: 3 \right](1)
Type: List(Fraction(Integer))

The same problem was reported in a different context in bug #165

Martin

Another manifestation is reported by Kai Kaminski:

axiom
)se fu co on
addx x == ((y: Integer): Integer +-> x + y)
Type: Void
axiom
g := addx 10
axiom
Compiling function addx with type PositiveInteger -> (Integer -> 
      Integer)

\label{eq2}\mbox{theMap (...)}(2)
Type: (Integer -> Integer)

Martin

Still another manifestation of )se fu co on --unknown, Mon, 29 Aug 2005 13:41:03 -0500 reply
On Mon, 2005-08-29 at 18:50 +0200, Jens Axel S√łgaard wrote:

I belive the following session must be due to a bug in the compiler:

 (1) -> firstNegative(l) == first(remove( x +-> x>=0, l))
                                                              Type: Void
 (2) -> firstNegative([1,2,0,-3,4])
     Compiling function firstNegative with type List Integer -> Integer

 Segmentation fault

The same happens in Windows.

property change --greg, Sat, 01 Apr 2006 10:39:07 -0600 reply
Status: open => pending (next release)

fixed in --patch-49 --greg, Wed, 19 Apr 2006 12:36:52 -0500 reply
Status: pending (next release) => closed

property change --kratt6, Mon, 03 Jul 2006 15:21:53 -0500 reply
Category: general => Axiom Interpreter Status: postponed => closed




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