Evaluating the s-expression from racket results in an array 'Array sh e'.
In order to pass the answer back to Racket, it first allocates the pointers necessary to store the array.
Then, we call 'toPtr' from Data.Array.Accelerate.IO with the allocated ptrs and the answer array.
Todo:
Obtain type rep from an array, in order to fully resolve 'BlockPtrs' type family.
Evaluating the s-expression from racket results in an array 'Array sh e'. In order to pass the answer back to Racket, it first allocates the pointers necessary to store the array. Then, we call 'toPtr' from Data.Array.Accelerate.IO with the allocated ptrs and the answer array.
Todo: Obtain type rep from an array, in order to fully resolve 'BlockPtrs' type family.