Comments (7)
This code works for me on "Version 1.12.1 (v1.12.1-7-g4912320e) Darwinx8664".
Try to load, or compile and load the source again. Perhaps you have an old version of foo?
from ccl.
Confirming issue on "Version 1.12.2 (v1.12.2-7-g7804e4f9) DarwinX8664"
> Error: The value #<VECTOR 3 type FIXNUM, simple>
is not of the expected type CCL::SIMPLE-UNSIGNED-DOUBLEWORD-VECTOR.
from ccl.
This code works for me on "Version 1.12.1 (v1.12.1-7-g4912320e) Darwinx8664". Try to load, or compile and load the source again. Perhaps you have an old version of foo?
I've seen this intermittently. The Lisp-Stat/select#3 issue mentions that sometimes, rarely, it seems to work fine. Another user there encountered it and has a full stack trace. That's what make me suspect a memory/alignment problem.
from ccl.
Confirming the issue on both Darwin (Catalina) and Linux (Devuan Daedalus) x8664.
Using v1.12.1
, v1.12.2
and current master (v1.12.2-14-gb947aece
).
Also with the version @informatimago (v1.12.1-7
) reported as working.
However, here it's v1.12.1-7-g7aecdb0f
. (Can't find a 4912320e
.)
from ccl.
Also, it depends on the optimization. I can reproduce it with the last setting:
(declaim (optimize (speed 0) (space 0) (safety 3) (debug 3) (compilation-speed 3))) ; no
(declaim (optimize (speed 3) (space 3) (safety 0) (debug 0) (compilation-speed 0))) ; no
(declaim (optimize (speed 1) (space 1) (safety 0) (debug 0) (compilation-speed 1))) ; yes
from ccl.
I think x8664-array-type-name-from-ctype
may be at fault here.
? (x8664::x8664-array-type-name-from-ctype (ccl::specifier-type '(simple-array (mod 72057594037927935) (*))))
:UNSIGNED-64-BIT-VECTOR
But CCL actually chooses to use a (simple-array fixnum (*))
to represent an array with the element type of (mod 72057594037927935)
.
CL-USER> (coerce #(2 3 5) '(simple-array (mod 72057594037927935)))
#(2 3 5)
CL-USER> (type-of *)
(SIMPLE-ARRAY FIXNUM (3))
In that case, I'd think that :fixnum-vector
would be correct thing for x8664-array-type-name-from-ctype to return.
Interestingly, ppc64-array-type-name-from-ctype
would do the same thing, so this issue has been around a long time.
If a little more thinking and testing proves this to be correct, I'll check in a fix.
from ccl.
This seems fixed. Closing.
from ccl.
Related Issues (20)
- seemingly silly strength reduction miss HOT 1
- Document cross-compilation process
- stack overflow when wild pathname on asdf:*central-registry* HOT 1
- GENTEMP isn't thread safe
- When build 3d-math package, get an error: CCL::COMPLIER-FUNCTION-OVERFLOW HOT 2
- Non-terminating character macro for #\- breaks #: reader. HOT 2
- remove obsolete %temp-cons
- long form define-method-combination problem HOT 4
- Compiler bug involving tag collision and labels function inlining HOT 1
- `ccl:macroexpand-all` stops at `locally`
- Format ~E causes an error HOT 3
- %apply-in-frame has bitrotted HOT 1
- defstruct slot initforms don't capture lexical environment HOT 1
- Name of the ccl executable
- static-cons memory read error using saved acl2 image on FreeBSD 13+ HOT 5
- Debian packaging HOT 1
- Invalid memory operations in the IDE
- TCP sockets stop working after a few writes, "Bad file descriptor (error #9) during write" HOT 18
- Socket reading seems to be really slow (or backed up) HOT 6
- socket-address-family never returns :internet6 HOT 1
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from ccl.