Stack overflow reverse/2 if arg1 is a var and user types ; for more results

Dave Sworin <[email protected]>
Newsgroups gmane.comp.gnu.prolog.bugs
Message-ID <[email protected]>
| ?- reverse(R,[1.0,-2.0,-4.0]).
 
R = [-4.0,-2.0,1.0] ? ; <== If you type a semicolon(;) and first
                            argument is a variable, then you get
                            stack overflow in 1.3.0.  This seems
                            like a bug.
 
Fatal Error: global stack overflow (size: 65537 Kb,
environment variable used: GLOBALSZ)
[daves@localhost ceg]$

_______________________________________________
Bug-prolog mailing list
[email protected]
http://lists.gnu.org/mailman/listinfo/bug-prolog
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.