MathAction #196 )set functions compile on

Topics

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

For some strange reason, without issuing

fricas

(1) -> )se fu co on

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

fricas

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

fricas

f [1,2,3]

fricas

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:

fricas

)se fu co on

addx x == ((y: Integer): Integer +-> x + y)

Type: Void

fricas

g := addx 10

fricas

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: (replying) Be Bold !!

	( 15 subscribers )