original commit: 8b9b97cb46b977a07d9d9971803fa30f30cc748a
This commit is contained in:
Eli Barzilay 2004-06-11 17:21:54 +00:00
parent 6002419fdc
commit 9cc2d250ae

View File

@ -509,7 +509,7 @@
[(_ t) (type: _pointer
bind: tmp ; need to save the box so we can get back to it
pre: (x => (let ([p (malloc t)]) (ptr-set! p t (unbox x)) p))
post: (x => (begin (box-set! tmp (ptr-ref x t)) tmp)))]))
post: (x => (begin (set-box! tmp (ptr-ref x t)) tmp)))]))
;; (_list <mode> <type> [<len>])
;; Similar to _ptr, except that it is used for converting lists to/from C