libera/#sbcl - IRC Chatlog

8:10:52 kami_ Good morning. I'm trying to define a vop following hayley's code and the info in https://pvk.ca/Blog/2014/08/16/how-to-define-new-intrinsics-in-sbcl/

8:11:17 kami_ But there must be some stupid error in my code:

8:12:14 kami_ https://pastebin.com/ZmZbGngz

8:12:51 kami_ The final defun is obviously not recognised correctly as a defun to call the vop

8:19:44 Krystof try tracing IS-OK-TEMPLATE-USE

8:20:27 moon-child kami_: try declaring types for s v o

8:20:51 hayley I get "SB-C::IS-OK-TEMPLATE-USE returned NIL :ARG-TYPES"

8:22:02 hayley It works after declaring types, too.

8:24:42 kami_ Ah, thank you!

8:30:18 kami_ Could one of you please paste the type declaration?

8:32:28 hayley (declare ((sb-ext:simd-pack-256 (unsigned-byte 8)) s) ((simple-array (unsigned-byte 8) 1) v) ((unsigned-byte 16) o))

8:44:46 kami_ arrgh: I had (simple-array (unsigned-byte 8)). thanks

10:01:39 semz If a function FOO with no declarations is inlined into a function BAR with e.g. a (safety 0) declaration, will the inlined body of FOO be compiled as if under (safety 0)?

10:02:20 semz I know the impl is allowed to do this, but does SBCL do it?