suzanne.soy/racket
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ffi/com: improve handling of `type-described'

Browse Source 
Use a type description when an automation-supplied type
is just 'any.
This commit is contained in:
Matthew Flatt 2013-01-24 15:44:45 -07:00
parent 0742424093
commit 79266fcf36
1 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
collects/ffi/unsafe/com.rkt
View File

@ -1590,7 +1590,15 @@
(define (scheme-to-variant! var a elem-desc scheme-type #:mode [mode '(in)])
(cond
[(type-described? a)
(scheme-to-variant! var (type-described-value a) elem-desc scheme-type #:mode mode)]
(scheme-to-variant! var
(type-described-value a)
(if (any-type? scheme-type)
#f
elem-desc)
(if (any-type? scheme-type)
(type-described-description a)
scheme-type)
#:mode mode)]
[(and (pair? scheme-type) (eq? 'variant (car scheme-type)))
(scheme-to-variant! var a elem-desc (cadr scheme-type) #:mode mode)]
[(eq? a com-omit)