diff options
| author | Kaz Kylheku <kaz@kylheku.com> | 2017-07-02 18:46:50 -0700 |
|---|---|---|
| committer | Kaz Kylheku <kaz@kylheku.com> | 2017-07-02 18:46:50 -0700 |
| commit | 4fd7bddd0e7fda8c5e476cba5e7882dae86fd59d (patch) | |
| tree | 2e694e379a3b054768b89f5f4a6129f8f1fbf1a7 /txr.1 | |
| parent | db8aeddade93adde5c9e4e14888fb53a64bdc377 (diff) | |
| download | txr-4fd7bddd0e7fda8c5e476cba5e7882dae86fd59d.tar.gz txr-4fd7bddd0e7fda8c5e476cba5e7882dae86fd59d.tar.bz2 txr-4fd7bddd0e7fda8c5e476cba5e7882dae86fd59d.zip | |
ffi: relaxation in cptr put semantics.
For convenience, we allow a cptr to be converted to foreign
representation even if its tag doesn't match the FFI type
being used for the conversion. This is allowed only in the
case that the cptr is a null pointer, and its tag is nil.
* lib.c (cptr_handle): Defeat the type check if the pointer
is null, and its tag is nil. Thus, the FFI variable cptr-null
will conveniently convert to any cptr type in the ffi_cptr_put
operation and others.
Diffstat (limited to 'txr.1')
| -rw-r--r-- | txr.1 | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -55456,6 +55456,14 @@ In the reverse direction, when a Lisp object is converted to the parametrized type, its type tag must match .metn type-sym , or else the conversion fails with an error exception. +This rule contains a slight relaxation: a +.code cptr +object with a +.code nil +tag can be converted to a foreign representation using any parametrized type, +if its value is null. In other situations, the +.code cptr-cast +function must be used to coerce the pointer object to the matching type. Note that if .meta type-sym |