Fix infinite loop for 'leaves' in IndexedList diff --git a/ChangeLog b/ChangeLog index 1cf555d3..3aae476b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,3 +1,8 @@ +2018-11-19 Qian Yun <oldk1...@gmail.com> + + * src/algebra/list.spad: Fix infinite loop for 'leaves' + in IndexedList + 2018-11-18 Qian Yun <oldk1...@gmail.com>
* src/algebra/aggcat.spad, src/algebra/stream.spad: diff --git a/src/algebra/list.spad b/src/algebra/list.spad index c6953ed5..7e10689d 100644 --- a/src/algebra/list.spad +++ b/src/algebra/list.spad @@ -91,7 +91,7 @@ empty? x => Qempty for i in 0.. while not Qempty? x repeat Qeq(i, cycleMax) and cyclic? x => error "cyclic list" - leaf? x => [value x] + leaf? x => return [value x] x := Qrest x if S has CoercibleTo(OutputForm) then diff --git a/src/input/bugs2018.input b/src/input/bugs2018.input index d84938b9..a5b88524 100644 --- a/src/input/bugs2018.input +++ b/src/input/bugs2018.input @@ -205,4 +205,8 @@ testTrue("empty? children([1]@Stream Integer)") +testcase "fix infinite loop for 'leaves' in List" + +testEquals("leaves [1]", "[1]") + statistics() -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to fricas-devel+unsubscr...@googlegroups.com. To post to this group, send email to fricas-devel@googlegroups.com. Visit this group at https://groups.google.com/group/fricas-devel. For more options, visit https://groups.google.com/d/optout.