bug#58217: tree-il->bytecode compilation of (not (list …)) fails

2022-10-01 Thread Ludovic Courtès
Ludovic Courtès skribis: > I believe this is fixed by changing ‘predicate?’ to: > > (define (predicate? name) > (and=> (lookup-primitive name) primitive-predicate?)) Done in e2797f529b8934b0a11b9f6aebbf937b183ece77! Ludo’.

bug#58217: tree-il->bytecode compilation of (not (list …)) fails

2022-10-01 Thread Ludovic Courtès
Hi, I stumbled upon this bug of the baseline compiler: --8<---cut here---start->8--- scheme@(guile-user)> (compile '(not (list 1 2)) #:optimization-level 2) $3 = #f scheme@(guile-user)> (compile '(not (list 1 2)) #:optimization-level 1) ice-9/boot-9.scm:1685:16