MathAction #196 )set functions compile on

Topics

FrontPage
- IssueTracker
  - #196 )set functions compile on <-- You are here.

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

... --kratt6, Mon, 22 Aug 2005 06:33:57 -0500 reply

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 !!

	( 14 subscribers )