/prog/ - SBCL + NREVERSE = SB-INT:BUG failed AVER ~_~

Name: Anonymous 2014-04-08 18:48

$ sbcl
This is SBCL 1.0.58, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses. See the CREDITS and COPYING files in the
distribution for more information.
* (defmacro yin (xs)
(second (reduce
(lambda (n x)
(cons (cons t (cons '(= t t) x))
n))
(cons () (nreverse xs)))))

YIN
* (defun yang () (yin (t ((t)))))

debugger invoked on a SB-INT:BUG:
failed AVER: (NULL CURRENT)
This is probably a bug in SBCL itself. (Alternatively, SBCL might have been
corrupted by bad user code, e.g. by an undefined Lisp operation like
(FMAKUNBOUND 'COMPILE), or by stray pointers from alien code or from unsafe
Lisp code; or there might be a bug in the OS or hardware that SBCL is running
on.) If it seems to be a bug in SBCL itself, the maintainers would like to
know about it. Bug reports are welcome on the SBCL mailing lists, which you
can find at <http://sbcl.sourceforge.net/>.
restarts (invokable by number or by possibly-abbreviated name):
0: [ABORT] Exit debugger, returning to top level.

(SB-INT:BUG "~@<failed AVER: ~2I~_~A~:>" (NULL SB-C::CURRENT))
0]

Name: Anonymous 2014-04-09 18:19

Same with newer versions, despite numerous fixes...


$ sh run-sbcl.sh
(running SBCL from: .)
This is SBCL 1.1.17, an implementation of ANSI Common Lisp.
More information about SBCL is available at <http://www.sbcl.org/>.

SBCL is free software, provided as is, with absolutely no warranty.
It is mostly in the public domain; some portions are provided under
BSD-style licenses.  See the CREDITS and COPYING files in the
distribution for more information.
* (defmacro foo (xs)
  (second (reduce
           (lambda (n x)
             (cons (cons t (cons '(= t t) x))
                   n))
           (cons () (nreverse xs)))))

FOO
* (defun bar () (foo (t ((t)))))

debugger invoked on a SB-INT:BUG:
    failed AVER: (NULL CURRENT)
  This is probably a bug in SBCL itself. (Alternatively, SBCL might have been
  corrupted by bad user code, e.g. by an undefined Lisp operation like
  (FMAKUNBOUND 'COMPILE), or by stray pointers from alien code or from unsafe
  Lisp code; or there might be a bug in the OS or hardware that SBCL is running
  on.) If it seems to be a bug in SBCL itself, the maintainers would like to
  know about it. Bug reports are welcome on the SBCL mailing lists, which you
  can find at <http://sbcl.sourceforge.net/>.
restarts (invokable by number or by possibly-abbreviated name):
  0: [ABORT] Exit debugger, returning to top level.

(SB-INT:BUG "~@<failed AVER: ~2I~_~A~:>" (NULL SB-C::CURRENT))
0]

Name: Anonymous 2014-04-09 18:37

Reported the crap as bug... https://bugs.launchpad.net/sbcl/+bug/1305300

Name: Anonymous 2014-04-09 18:42

>>3
You forgot to say that you are a self-hating kike

Name: Anonymous 2014-04-10 2:23

>>4

Why are there so many self-hating kikes?

I haven't seen that many self-hating niggers, despite the black population obviously bigger.

Name: Anonymous 2014-04-10 9:23

Probablity of nikita sadkike being op after reading post:

1. 30%
2. 34%
3. 100%

Name: Anonymous 2014-04-10 9:29

>>6
I would say 2

Name: Paul Khuong (pvk) 2014-04-10 9:54

Your macro is mutating source, via nreverse. This is a bad idea in many ways. I'm not even sure that I want to remove that AVER: it reflects the fact that the mutated source makes no sense anymore.

Name: Anonymous 2014-04-10 15:33

>>8

use Clojure.

Name: Nikita Sadkov (snv985) 2014-04-10 18:36

>>8
We have a few solutions:
1. make a copy of SEXP for each macro application (inefficient but robust)
2. give a warn for any nreverse/nconc/rplaca/rplacd inside of a macro (efficient, but non-robust)
3. forbid rplaca/rplacd on compiler allocated structures (efficient and robust)

Name: Anonymous 2016-07-19 21:20

check em

SBCL + NREVERSE = SB-INT:BUG failed AVER ~_~

1 Name: Anonymous 2014-04-08 18:48

2 Name: Anonymous 2014-04-09 18:19

3 Name: Anonymous 2014-04-09 18:37

4 Name: Anonymous 2014-04-09 18:42

5 Name: Anonymous 2014-04-10 2:23

6 Name: Anonymous 2014-04-10 9:23

7 Name: Anonymous 2014-04-10 9:29

8 Name: Paul Khuong (pvk) 2014-04-10 9:54

9 Name: Anonymous 2014-04-10 15:33

10 Name: Nikita Sadkov (snv985) 2014-04-10 18:36

11 Name: Anonymous 2016-07-19 21:20