Custom Query (1030 matches)
Results (499 - 501 of 1030)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #509 | fixed | Select-current-sexpr fails if the sexpr is commented out | ||
| Description |
Double-clicking on the close-paren of a sexpr fails to select that sexpr if the sexpr has been commented out with a preceding semicolon. |
|||
| #1410 | fixed | Segmentation fault at safety 3 | ||
| Description |
It seems very surprising to get a segmentation fault with safety 3. Below are instructions from the README file of the attached gzipped tarfile, which show how to re-create that behavior. This example is a lightly modified version of a real problem we are having, where we cannot debug the problem because of the segmentation fault. Note: We did this on linux: dunnottar:~% uname -a Linux dunnottar 3.13.0-110-generic #157-Ubuntu SMP Mon Feb 20 11:54:05 UTC 2017 x86_64 x86_64 x86_64 GNU/Linux dunnottar:~% But we have seen this problem on Mac as well. Note: We have reproduced this bug using this CCL Welcome to Clozure Common Lisp Version 1.12-dev-r16783M-trunk (LinuxX8664)! but also ones as recent as last weekend. ..... wget https://github.com/acl2-devel/acl2-devel/releases/download/7.3/acl2-7.3.tar.gz tar xfz acl2-7.3.tar.gz # Save disk space rm -rf acl2-7.3/books rm acl2-7.3.tar.gz cd acl2-7.3 (time nice make LISP=ccl ACL2_SAFETY=3) >& make-safety-3.log cd .. ./acl2-7.3/saved_acl2 (value :q) (load "clrat-parser.lisp") (clrat-read-file "R_4_4_18.clrat" state) |
|||
| #873 | invalid | Segfault entering #'inspect during make-instance :around | ||
| Description |
? (defclass test () ()) ? (defmethod make-instance :around ((a standard-class) &rest args) (inspect (call-next-method))) ? (make-instance 'test) Segfault |
|||
