fix (_bytes o n) as an FFI result type

svn: r18502
This commit is contained in:
Matthew Flatt 2010-03-10 02:18:05 +00:00
parent 14d1760abe
commit a94e6f2ea9

View File

@ -1023,7 +1023,7 @@
(provide (rename-out [_bytes* _bytes]))
(define-fun-syntax _bytes*
(syntax-id-rules (o)
[(_ o n) (type: _bytes
[(_ o n) (type: _pointer
pre: (make-sized-byte-string (malloc n) n)
;; post is needed when this is used as a function output type
post: (x => (make-sized-byte-string x n)))]