From bbe156f3de1a54dbe31e13b389d0145c4f2de731 Mon Sep 17 00:00:00 2001
From: Joe Groff <arcata@gmail.com>
Date: Tue, 25 May 2010 00:37:15 -0700
Subject: [PATCH] cuda.gl: with-mapped-cuda-buffer helper word

---
 extra/cuda/gl/gl.factor | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/extra/cuda/gl/gl.factor b/extra/cuda/gl/gl.factor
index ea24dd0c72..d4943e1350 100644
--- a/extra/cuda/gl/gl.factor
+++ b/extra/cuda/gl/gl.factor
@@ -50,3 +50,6 @@ TUPLE: cuda-buffer
 M: cuda-buffer dispose
     [ [ free-resource ] when* f ] change-resource
     buffer>> dispose ; inline
+
+: with-mapped-cuda-buffer ( ..a cuda-buffer quot: ( ..a device-ptr size -- ..b ) -- ..b )
+    [ resource>> ] dip with-mapped-resource ; inline