Potential infinite loop in sb-c::array-type-upgraded-element-type with sb-kernel:union-type
Shubhamkar Ayare via Sbcl-help <[email protected]>
| Newsgroups | gmane.lisp.steel-bank.general |
|---|---|
| Message-ID | <[email protected]> |
On SBCL 2.4.7 (and also 2.4.4 and 2.4.5), the following seems to result in an
infinite loop. It never returns despite running for 10 seconds.
(sb-c::array-type-upgraded-element-type (sb-kernel:specifier-type '(or array null)))
By contrast, the following returns almost immediately:
(sb-c::array-type-upgraded-element-type '(or array null))
Is the difference of behavior a bug?
Best,
Shubhamkar / digikar