@mratsim Well, lucky you. Try using some echo or something like that so you will know whether the finalizer was called or not.
I read some guy in the Internet who said he didn't explicitly deallocate his GPU memory but it worked anyway... But then he described how it subtly changed how his program behaved so I think you should be careful with assuming the finalizers were called for sure. Also, it seems to me that a more serious problem is that GC will ignore the ammount of free memory on GPU when deciding whether to deallocate your GPU object or not. It will only consider CPU memory. That seems a bigger problem, I guess.
