[plt-scheme] Seg fault in 371.3

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Sat Jan 5 12:34:45 EST 2008

At Sat, 5 Jan 2008 09:00:30 -0700, Matthew Flatt wrote:
> I think you've found an optimizer bug. Can you send me some code so I
> can reproduce the crash (and fix the bug)?

Thanks for sending the code. The bug is now fixed in SVN, both for the
trunk and the v3 branch.

The bug was in a recently an optimization (added since v371) to convert
`(procedure? x)' to `#t' when `x' is known to be a procedure. The
optimizer's lookup of `x' used the wrong kind of internal
representation: a post-optimized lexical index instead of a
pre-optimized index.


Posted on the users mailing list.