Open jonsmirl opened 1 year ago
It would be helpful to have type safety between deviceId and devicePtr since it is very easy to pass in the wrong one
Makes sense. On the TODO list.
Internally in GHSAFM, we could use Kotlin value classes
@JvmInline value class DeviceId(val value: Long) @JvmInline value class DevicePointer(val value: Long)
It would be helpful to have type safety between deviceId and devicePtr since it is very easy to pass in the wrong one