python: Add simple global pool interface.

1 files changed, 18 insertions, 0 deletions

diff --git a/libdimension-python/dimension.pyx b/libdimension-python/dimension.pyx
index 98fc41d..24ec4bd 100644
--- a/libdimension-python/dimension.pyx
+++ b/libdimension-python/dimension.pyx
@@ -46,6 +46,24 @@ def terminal_width():
   """Return the width of the terminal, if present."""
   return dmnsn_terminal_width()
 
+#########
+# Pools #
+#########
+
+cdef class _Pool:
+  cdef dmnsn_pool *_pool
+
+  def __cinit__(self):
+    self._pool = dmnsn_new_pool()
+
+  def __dealloc__(self):
+    dmnsn_delete_pool(self._pool)
+
+cdef _Pool _global_pool = _Pool()
+
+cdef dmnsn_pool *_get_pool():
+  return _global_pool._pool
+
 ###########
 # Futures #
 ###########