inducer/pycuda — pull request #52 by untom (2014-08-25 14:32:01+00:00)
Title: Fix PooledDeviceAllocation for Python3

As desribed in issue #51, this will fix the PooledDeviceAllocation in Python3, by
making sure that PooledDeviceAllocation's can be casted to integers. This is
simply done by adding a ``__index__`` method, analogously to how
the normal DeviceAllocation class does it.