|
|
|
last edited 17 years ago by gdr |
Edit detail for #386 Infinite loop in LISP related to Tuple? revision 5 of 3
| 1 2 5 | ||
|
Editor: gdr
Time: 2008/04/01 17:04:20 GMT-7 |
||
| Note: Fixed in OpenAxiom | ||
added:
From gdr Tue Apr 1 17:03:59 -0700 2008
From: gdr
Date: Tue, 01 Apr 2008 17:03:59 -0700
Subject:
Message-ID: <20080401170359-0700@axiom-wiki.newsynthesis.org>
Status: open => fixed somewhere
From gdr Tue Apr 1 17:04:20 -0700 2008
From: gdr
Date: Tue, 01 Apr 2008 17:04:20 -0700
Subject: Fixed in OpenAxiom
Message-ID: <20080401170420-0700@axiom-wiki.newsynthesis.org>
The second line (which should report syntax error at worse), seems to be generating an infinite loop that exhausts memory.
fricas
(1) -> g:=[(1,2), (3, 4)]
![\label{eq1}\left[{\left(1, \: 2 \right)}, \:{\left(3, \: 4 \right)}\right]](images/1319650970378864775-16.0px.png "\label{eq1}\left[{\left(1, \: 2 \right)}, \:{\left(3, \: 4 \right)}\right]") | (1) |
Type: List(Tuple(PositiveInteger?))
fricas
[1 for (a,b) in g]
Internal Error Unexpected error or improper call to system function transformCollect : Unknown type of iterator
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.
Status: open => fixed somewhere