Steel Bank Common Lisp

1.0.26.21 can't compile ironclad 0.26

Reported by Attila Lendvai on 2009-03-26
6
This bug affects 1 person
Affects Status Importance Assigned to Milestone
SBCL
Undecided
Unassigned

Bug Description

unpulling the 1.0.26.12 change fixes it, so i believe it's 1.0.26.12 that broke it:

Sun Mar 22 20:44:13 CET 2009 jsnell
  * [sbcl @ 2009-03-22 19:44:13 by jsnell]
  1.0.26.12: Don't allow (LOOP FOR X ACROSS A ...) where A evaluates to NIL

          * Patch by Daniel Lowe

the error comes from macroexpand:

The length requested (0) does not match the type restriction in (SIMPLE-ARRAY (UNSIGNED-BYTE 8) (16)).

  0: (MAKE-SEQUENCE (SIMPLE-OCTET-VECTOR 16) 0) [:EXTERNAL]
  1: (SB-KERNEL:LIST-TO-VECTOR* NIL (SIMPLE-OCTET-VECTOR 16))
  2: (SB-LOOP::LOOP-DECLARE-VAR IV (SIMPLE-OCTET-VECTOR 16) NIL)
  3: (SB-LOOP::LOOP-MAKE-VAR #<unavailable argument> (IV MODE) (SIMPLE-OCTET-VECTOR 16) NIL)
  4: (SB-LOOP::LOOP-DO-WITH)
  5: (SB-LOOP::LOOP-ITERATION-DRIVER)
  6: (SB-LOOP::LOOP-TRANSLATE (WITH IV OF-TYPE (SIMPLE-OCTET-VECTOR 16) = (IV MODE) WITH OFFSET = PLAINTEXT-START ...) #S(SB-KERNEL:LEXENV :FUNS ((#1=#:G4 SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (MODE-DEFINITION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (DEFINE-MODE-FUNCTION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #)) :VARS NIL :BLOCKS NIL :TAGS NIL :TYPE-RESTRICTIONS NIL :LAMBDA NIL :CLEANUP NIL :HANDLED-CONDITIONS NIL :DISABLED-PACKAGE-LOCKS NIL :%POLICY ((COMPILATION-SPEED . 1) (DEBUG . 1) (SB-EXT:INHIBIT-WARNINGS . 1) (SAFETY . 1) (SPACE . 1) (SPEED . 1))) #<SB-LOOP::LOOP-UNIVERSE ANSI>)
  7: (MACROEXPAND-1 (LOOP WITH IV OF-TYPE (SIMPLE-OCTET-VECTOR 16) = (IV MODE) WITH OFFSET = ...) #S(SB-KERNEL:LEXENV :FUNS ((#1=#:G4 SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (MODE-DEFINITION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (DEFINE-MODE-FUNCTION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #)) :VARS NIL :BLOCKS NIL :TAGS NIL :TYPE-RESTRICTIONS NIL :LAMBDA NIL :CLEANUP NIL :HANDLED-CONDITIONS NIL :DISABLED-PACKAGE-LOCKS NIL :%POLICY ((COMPILATION-SPEED . 1) (DEBUG . 1) (SB-EXT:INHIBIT-WARNINGS . 1) (SAFETY . 1) (SPACE . 1) (SPEED . 1))))
  8: (SB-WALKER::WALK-DECLARATIONS ((LOOP WITH IV OF-TYPE (SIMPLE-OCTET-VECTOR 16) = (IV MODE) WITH OFFSET = ...)) #<FUNCTION SB-WALKER::WALK-REPEAT-EVAL> #S(SB-KERNEL:LEXENV :FUNS ((#1=#:G4 SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (MODE-DEFINITION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (DEFINE-MODE-FUNCTION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #)) :VARS NIL :BLOCKS NIL :TAGS NIL :TYPE-RESTRICTIONS NIL :LAMBDA NIL :CLEANUP NIL :HANDLED-CONDITIONS NIL :DISABLED-PACKAGE-LOCKS NIL :%POLICY ((COMPILATION-SPEED . 1) (DEBUG . 1) (SB-EXT:INHIBIT-WARNINGS . 1) (SAFETY . 1) (SPACE . 1) (SPEED . 1))) NIL #<unavailable argument> NIL)
  9: (SB-WALKER::WALK-LET/LET*
      (LET ()
        (LOOP WITH IV OF-TYPE (SIMPLE-OCTET-VECTOR 16) = (IV MODE) WITH OFFSET = ...))
      :EVAL
      #S(SB-KERNEL:LEXENV :FUNS ((#1=#:G4 SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (MODE-DEFINITION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (DEFINE-MODE-FUNCTION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #)) :VARS NIL :BLOCKS NIL :TAGS NIL :TYPE-RESTRICTIONS NIL :LAMBDA NIL :CLEANUP NIL :HANDLED-CONDITIONS NIL :DISABLED-PACKAGE-LOCKS NIL :%POLICY ((COMPILATION-SPEED . 1) (DEBUG . 1) (SB-EXT:INHIBIT-WARNINGS . 1) (SAFETY . 1) (SPACE . 1) (SPEED . 1)))
      NIL)
 10: (SB-WALKER::WALK-FORM-INTERNAL
      (LET ()
        (LOOP WITH IV OF-TYPE (SIMPLE-OCTET-VECTOR 16) = (IV MODE) WITH OFFSET = ...))
      :EVAL
      #S(SB-KERNEL:LEXENV :FUNS ((#1=#:G4 SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (MODE-DEFINITION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (DEFINE-MODE-FUNCTION SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #) (#1# SB-SYS:MACRO . #)) :VARS NIL :BLOCKS NIL :TAGS NIL :TYPE-RESTRICTIONS NIL :LAMBDA NIL :CLEANUP NIL :HANDLED-CONDITIONS NIL :DISABLED-PACKAGE-LOCKS NIL :%POLICY ((COMPILATION-SPEED . 1) (DEBUG . 1) (SB-EXT:INHIBIT-WARNINGS . 1) (SAFETY . 1) (SPACE . 1) (SPEED . 1))))
...

hth,

- attila

Juho Snellman (jsnell+bugs) wrote :

Reverted.

Changed in sbcl:
status: New → Fix Committed
Nikodemus Siivola (nikodemus) wrote :

In 1.0.27.

Changed in sbcl:
status: Fix Committed → Fix Released
To post a comment you must log in.
This report contains Public information  Edit
Everyone can see this information.

Other bug subscribers