.
original commit: 11e3077e67d4ff9d5e2250a0d06ada76eb2a6991
This commit is contained in:
parent
0afb54a5ff
commit
188d30ba91
|
@ -704,6 +704,9 @@
|
|||
;; ----------------------------------------------------------------------------
|
||||
;; Tagged pointers
|
||||
|
||||
;; Make these operations available
|
||||
(provide cpointer-type set-cpointer-type!)
|
||||
|
||||
;; This is a kind of a pointer that gets a specific tag when converted to
|
||||
;; Scheme, and accepts only such tagged pointers when going to C. An optional
|
||||
;; `ptr-type' can be given to be used as the base pointer type, instead of
|
||||
|
|
Loading…
Reference in New Issue
Block a user