MathAction #386 Infinite loop in LISP related to Tuple?

Topics

FrontPage
- IssueTracker
  - #386 Infinite loop in LISP related to Tuple? <-- You are here.

The second line (which should report syntax error at worse), seems to be generating an infinite loop that exhausts memory.

axiom

g:=[(1,2),(3,4)]

$\label{eq1}\left[{\left(1, \: 2 \right)}, \:{\left(3, \: 4 \right)}\right]$

(1)

Type: List Tuple PositiveInteger?

axiom

[1 for (a,b) in g]

   Unknown type of loop iterator form.

On my system, the following message finally appeared:

   >> System error:
   The storage for CONS is exhausted.
   Currently, 85895 pages are allocated.
   Use ALLOCATE to expand the space.

for x in l --gdr, Tue, 01 Apr 2008 13:04:42 -0700 reply

The Axiom Book (Jenks&Sutor) does not describe this syntax valid. All `for in' discussions are with single variable names -- not structured or pattern matching stuff.

So, I suspect the right answer is a diagnostic.

... --gdr, Tue, 01 Apr 2008 17:03:59 -0700 reply

Status: open => fixed somewhere

Fixed in OpenAxiom --gdr, Tue, 01 Apr 2008 17:04:20 -0700 reply

Subject: Be Bold !!

	( 14 subscribers )