Custom Query (1030 matches)

The function "map-file-to-octet-vector" is defined in the Linux version of CCL 1.3 but not the Windows version of CCL 1.3. This is causing ACL2 to not be abel to certify the book "serialize". Being able to run regression books in ACL2 on Windows will verify the fix.

In a Clozure CL.app built from the event-ide branch:

1. Open a file of Lisp text. Select a range of text
2. Switch to a Listener window
3. Eval uate some form that causes a backtrace
4. Switch back to the editor window

At this point, if the problem has manifested, clicking in the buffer fails to cause the window to update its selection correctly. Typing in the buffer *may* cause the display to return to normal, or it may display a Hemlock error dialog (the "sky is falling" dialog). Generally, some combination of inserting and deleting text seems to eventually cause the window display and event-handling to return to normal.

In a Clozure CL.app built from the event-ide branch:

1. Open a file of Lisp text. Select a range of text
2. Switch to a Listener window
3. Eval uate some form that causes a backtrace
4. Switch back to the editor window

At this point, if the problem has manifested, clicking in the buffer fails to cause the window to update its selection correctly. Typing in the buffer *may* cause the display to return to normal, or it may display a Hemlock error dialog (the "sky is falling" dialog). Generally, some combination of inserting and deleting text seems to eventually cause the window display and event-handling to return to normal.