Currently Jou supports some_pointer as int64. On 32-bit platforms, IMO we should also support some_pointer as int32. But on 64-bit platforms that must be an error, because you would basically get a garbage value.
I think it makes sense for this to be a separate issue rather than a part of #304, because it is not absolutely essential for this to work for using Jou on a 32-bit platform.
Currently Jou supports
some_pointer as int64. On 32-bit platforms, IMO we should also supportsome_pointer as int32. But on 64-bit platforms that must be an error, because you would basically get a garbage value.I think it makes sense for this to be a separate issue rather than a part of #304, because it is not absolutely essential for this to work for using Jou on a 32-bit platform.