Custom Query (1030 matches)
Results (874 - 876 of 1030)
| Ticket | Resolution | Summary | Owner | Reporter |
|---|---|---|---|---|
| #1132 | duplicate | tilda-tilda format bug | ||
| Description |
CL-USER> (lisp-implementation-type)
"Clozure Common Lisp"
CL-USER> (lisp-implementation-version)
"Version 1.9 (LinuxX8632)"
CL-USER> (format t "Hello world!~{~~~D:@<~~A~~>~%~}"
'(5))
Hello world!; Evaluation aborted on #<SIMPLE-ERROR #x18B9B0D6>.
CL-USER>
Text of error: No matching bracket
"Hello world!~{~~~D:@<~~A~~>~%~}"
^
[Condition of type SIMPLE-ERROR]
|
|||
| #1134 | duplicate | The value :UNKNOWN-GF-KEYS is not of the expected type (MEMBER :TOOMANY :TOOFEW :ODD-KEYWORDS :UNKNOWN-KEYWORD :UNKNOWN-GF-KEYWORDS) | ||
| Description |
When printing backtrace of an error, I encountered a type error: The value :UNKNOWN-GF-KEYS is not of the expected type (MEMBER :TOOMANY :TOOFEW :ODD-KEYWORDS :UNKNOWN-KEYWORD :UNKNOWN-GF-KEYWORDS) The full log: http://cl-test-grid.appspot.com/blob?key=wsfocese4r I found symbol :UNKNOWN-GF-KEYS in the CCL source file level-1/sysutils.lisp. Seems like it should be changed to :UNKNOWN-GF-KEYWORDS |
|||
| #1141 | duplicate | -e switch on CCL | ||
| Description |
I am trying to build acl2 on ccl. the following seems to look for a file instead of eval-ing the form as the -e switch should do..
export CCL_DEFAULT_DIRECTORY="/Applications/ClozureCL.app/Contents/Resources/ccl/"
exec "/Applications/ClozureCL.app/Contents/MacOS/dx86cl64" -I "/Users/sms/acl2/v6-4/acl2-sources/saved_acl2.dx86cl64" -Z 64M -K ISO-8859-1 -e "(acl2 this gives an error message that the file "acl2acl2-default-restart" is not found. Any pointers would be appreciated. Scott |
|||
