bug#75216: Miscompilation of code with numeric predicates

2025-02-28 Thread Ludovic Courtès
"Thompson, David" skribis: > Consider this contrived procedure: > > (define (foo x) > (cond >((integer? x) 42) >((and (number? x) (inexact? x)) 69) >(else 138))) > > This procedure is kind of silly but it resembles some real world code > I was debugging today. A call of (foo 8.2) s

bug#75216: Miscompilation of code with numeric predicates

2024-12-30 Thread Thompson, David
Consider this contrived procedure: (define (foo x) (cond ((integer? x) 42) ((and (number? x) (inexact? x)) 69) (else 138))) This procedure is kind of silly but it resembles some real world code I was debugging today. A call of (foo 8.2) should return 69 and indeed it does so on Guile