Solene Rapenne <sol...@perso.pw> writes:

> On Thu, 16 Sep 2021 10:29:28 +0200
> Omar Polo <o...@omarpolo.com>:
>
>> Solene Rapenne <sol...@perso.pw> writes:
>> 
>> > this updates lang/sbcl to latest version, I didn't had reply for my
>> > previous mail for the 2.1.7 update
>> >
>> > tested on amd64, with and without threads
>> > stumpwm still works fine with it  
>> 
>> tested with my stumpwm config and tinmop (not in ports) and seems to
>> work fine; thanks!
>> 
>> `make test' fails after a while, I don't know if it's expected or not.
>> This with default flavor
>> [...]
>> 
>> 
>> Cheers,
>> 
>> Omar Polo
>
> new update, we are really lagging behind :/

I'd also like to see a more up-to-date version available

> same problems with test, one failing in normal flavor
> and two fails with threads flavor.
>
> x11/stumpwm, the only lang/sbcl consumer works fine though.

The diff works for me.  I've not yet tried stumpwm, but emacs + sly is
happy and tinmop (a common lisp application I frequently use that's not
in port) build and works fine.  It depends (directly or not) on ~70
libraries from quicklisp, so it could be a good indication that things
are not incredibly bad.

`make test' for the threads flavors now fails with:

> Expected failure:   hash.pure.lisp / SXHASH-ON-DISPLACED-STRING

::: Running :SXHASH-ON-DISPLACED-STRING
::: EXPECTED-FAILURE :SXHASH-ON-DISPLACED-STRING due to SIMPLE-ERROR:
        "(SXHASH
          DISPLACED-STRING) returned (70409931140602) without signalling ERROR"

At the repl it fails with the following (and expected) error thought :/

Displaced array originally of type (VECTOR CHARACTER 100) has
been invalidated due its displaced-to array
"^@..."
having become too small to hold it: the displaced array's
dimensions have all been set to zero to trap accesses to it.
   [Condition of type SB-INT:INVALID-ARRAY-ERROR]

> Failure:            interface.pure.lisp / NO-V0P-EX1STSP-IN-BUILD

I doubt also this is something to do with our port.

        (assert (null (apropos-list "VOP-EXISTSP")))

apropos-list finds (sb-c::%vop-existsp sb-c::if-vop-existsp
sb-c::vop-existsp sb-c::when-vop-existsp).  Even if it's a problem with
our port, it's just some unwanted symbols in an internal namespace.  Not
a big deal I guess.

> Failure:            unicode-misc.pure.lisp / (CL-CASE-INVERTIBILITY)

  (loop for i from 0 below char-code-limit
     for char = (code-char i)
     do
       (when (upper-case-p char)
         (assert (char= char (char-upcase (char-downcase char)))))
       (when (lower-case-p char)
         (assert (char= char (char-downcase (char-upcase char))))))

This fails with char being #\WARANG_CITI_CAPITAL_LETTER_VIYO, or
U+118BF.  I asked a friend on linux to test and there:

(char= #\WARANG_CITI_CAPITAL_LETTER_VIYO
       (char-upcase (char-downcase #\WARANG_CITI_CAPITAL_LETTER_VIYO)))
; => t

This could be a real bug, probably in the unicode data.

> Expected failure:   block-compile.impure.lisp / 
> BLOCK-DEFCONSTANT-HAIRY-EQNESS-TEST

no idea about this:

(with-test (:name :block-defconstant-hairy-eqness-test
            :fails-on :sbcl)
  (ctu:file-compile
   `((sb-int:defconstant-eqx testconstant4
         (let (list)
           (dotimes (i 5 list) (push i list)))
       #'equal)
     (defun bar () testconstant4))
   :block-compile t
   :before-load (lambda () (unintern (find-symbol "TESTCONSTANT4")))
   :load t)
  (assert (eq (bar) testconstant4)))

::: Running :BLOCK-DEFCONSTANT-HAIRY-EQNESS-TEST
::: EXPECTED-FAILURE :BLOCK-DEFCONSTANT-HAIRY-EQNESS-TEST due to SIMPLE-ERROR:
        "The assertion (EQ (BAR) #:TESTCONSTANT4) failed with (BAR) =
         (4 3 2 1 0), #:TESTCONSTANT4 = (4 3 2 1 0)."

(eq (bar) testconstant4) yields T at the repl

> Expected failure:   compiler.impure.lisp / BUG-308921

I'm clueless here.

::: Running :BUG-308921
::: EXPECTED-FAILURE :BUG-308921 due to BUG:
        "  #<CBLOCK 5 :START c1 {1002D2A563}> was not in any loop.
         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/>."

> Expected failure:   dynamic-extent.impure.lisp / DX-COMPILER-NOTES

no idea sorry

::: Running :DX-COMPILER-NOTES
::: EXPECTED-FAILURE :DX-COMPILER-NOTES due to SIMPLE-ERROR:
        "Wanted 0 notes, got 4 for
   (LAMBDA (LIST)
     (DECLARE (OPTIMIZE (SPACE 0)))
     (SORT LIST (LAMBDA (X Y) (< (TRULY-THE FIXNUM X) (TRULY-THE FIXNUM Y)))))"

> Expected failure:   float.impure.lisp / (RANGE-REDUCTION PRECISE-PI)

this is actually an improvement: it's expected to fail openbsd but it
works now :)

> Expected failure:   fopcompiler.impure.lisp / 
> FOPCOMPILER-DEPRECATED-VAR-WARNING

this is a known failure upstream: sbcl misses some deprecation warnings.
Don't know if it was recently fixed, but either the way it doesn't seem
grave.

> Expected failure:   full-eval.impure.lisp / INLINE-FUN-CAPTURES-DECL

no idea on this

::: Running :INLINE-FUN-CAPTURES-DECL
::: EXPECTED-FAILURE :INLINE-FUN-CAPTURES-DECL due to SIMPLE-ERROR:
        "The assertion
         (EQUAL (SB-INT:FUN-NAME-INLINE-EXPANSION 'SOME-INLINE-FUN)
                '(SB-C:LAMBDA-WITH-LEXENV
                  (:DECLARE ((MUFFLE-CONDITIONS COMPILER-NOTE))) (X)
                  (BLOCK SOME-INLINE-FUN (- X))))
         failed with (SB-INT:FUN-NAME-INLINE-EXPANSION 'SOME-INLINE-FUN) =
         (LAMBDA (X) (BLOCK SOME-INLINE-FUN (- X)))."

> Skipped (broken):   gethash-concurrency.impure.lisp / (HASH-TABLE 
> UNSYNCHRONIZED)

this is disabled upstream, no problem.

> Failure:            kill-non-lisp-thread.impure.lisp / KILL-NON-LISP-THREAD

// Running kill-non-lisp-thread.impure.lisp in COMPILE evaluator mode
::: Running :KILL-NON-LISP-THREAD
::: UNEXPECTED-FAILURE :KILL-NON-LISP-THREAD due to SIMPLE-ERROR:
        "The assertion RECEIVEDP failed."

compiles and load a shared library which kill(2)s a thread.  it succeed
when run from emacs with sly, maybe just a timing issue?  (the test
waits for one second before checking if the thread was signalled or not)

> Expected failure:   packages.impure.lisp / USE-PACKAGE-CONFLICT-SET

no idea, sorry

::: EXPECTED-FAILURE :USE-PACKAGE-CONFLICT-SET due to SIMPLE-ERROR:
        "Wanted (BAR::SYM FOO:SYM QUX:SYM), got (BAR::SYM FOO:SYM):
 (EQUAL (LIST (SYM "BAR" "SYM") (SYM "FOO" "SYM") (SYM "QUX" "SYM"))
        CONFLICT-SET)"

> Expected failure:   packages.impure.lisp / IMPORT-SINGLE-CONFLICT

no idea

::: Running :IMPORT-SINGLE-CONFLICT
::: EXPECTED-FAILURE :IMPORT-SINGLE-CONFLICT due to SIMPLE-ERROR:
        "Wanted 1, got 2:
 (EQL 1 (LENGTH CONFLICT-SETS))"

> Skipped (broken):   threads.impure.lisp / BACKTRACE

skipped by upstream

> Expected failure:   walk.impure.lisp / (WALK MULTIPLE-VALUE-BIND)
> Expected failure:   walk.impure.lisp / (WALK MULTIPLE-VALUE-BIND SPECIAL)
> Expected failure:   x86-64-codegen.impure.lisp / 
> MOV-MOV-ELIM-IGNORE-RESIZED-REG

no idea, sorry

> Joshua, do you have any hints for the tests problems?
>
>
> Index: Makefile
> ===================================================================
> RCS file: /home/reposync/ports/lang/sbcl/Makefile,v
> retrieving revision 1.46
> diff -u -p -r1.46 Makefile
> --- Makefile  28 May 2021 16:23:31 -0000      1.46
> +++ Makefile  8 Dec 2021 22:22:02 -0000
> @@ -25,7 +25,7 @@ USE_WXNEEDED =              Yes
>  
>  COMMENT=             compiler and runtime system for ANSI Common Lisp
>  
> -V =                  2.1.4
> +V =                  2.1.11
>  DISTNAME=            sbcl-${V}-source
>  PKGNAME=             sbcl-${V}
>  WRKDIST=             ${WRKDIR}/sbcl-${V}
> Index: distinfo
> ===================================================================
> RCS file: /home/reposync/ports/lang/sbcl/distinfo,v
> retrieving revision 1.20
> diff -u -p -r1.20 distinfo
> --- distinfo  28 May 2021 16:23:31 -0000      1.20
> +++ distinfo  8 Dec 2021 22:23:37 -0000
> @@ -1,2 +1,2 @@
> -SHA256 (sbcl-2.1.4-source.tar.bz2) = 
> mSYOI0b80irlVG4VuvUImdyzt1psdMx8yEk3iJnvvRE=
> -SIZE (sbcl-2.1.4-source.tar.bz2) = 6550812
> +SHA256 (sbcl-2.1.11-source.tar.bz2) = 
> v8FIHef9vfru8qsPDo6E79NDQz3qjSHPvqiwFGy9/v0=
> +SIZE (sbcl-2.1.11-source.tar.bz2) = 6687529
> Index: pkg/PLIST
> ===================================================================
> RCS file: /home/reposync/ports/lang/sbcl/pkg/PLIST,v
> retrieving revision 1.12
> diff -u -p -r1.12 PLIST
> --- pkg/PLIST 13 May 2019 12:58:58 -0000      1.12
> +++ pkg/PLIST 8 Dec 2021 22:22:16 -0000
> @@ -21,6 +21,8 @@ lib/sbcl/contrib/sb-executable.asd
>  lib/sbcl/contrib/sb-executable.fasl
>  lib/sbcl/contrib/sb-gmp.asd
>  lib/sbcl/contrib/sb-gmp.fasl
> +lib/sbcl/contrib/sb-graph.asd
> +lib/sbcl/contrib/sb-graph.fasl
>  lib/sbcl/contrib/sb-grovel.asd
>  lib/sbcl/contrib/sb-grovel.fasl
>  lib/sbcl/contrib/sb-introspect.asd

Reply via email to