diff --git a/extra/cuda/gl/gl.factor b/extra/cuda/gl/gl.factor index 268d270e7f..2250c895e0 100644 --- a/extra/cuda/gl/gl.factor +++ b/extra/cuda/gl/gl.factor @@ -30,6 +30,10 @@ IN: cuda.gl DESTRUCTOR: unmap-resource +: free-resource ( resource -- ) + cuGraphicsUnregisterResource cuda-error ; inline + +DESTRUCTOR: free-resource + : with-mapped-resource ( ..a resource quot: ( ..a device-ptr size -- ..b ) -- ..b ) over [ map-resource ] 2dip '[ _ unmap-resource ] [ ] cleanup ; inline -