No problem. ✌😊
On Thu, Jun 3, 2021, 6:36 PM David Smith wrote:
> Yes! stropt seems to be exactly what I want. Thank you!
>
> d4v3y_5c0n3s schrieb am Donnerstag, 3. Juni 2021 um 22:23:57 UTC:
>
>> I would suggest either trying the "stropt" type or the "Option_vt" type.
>> Would you mind sharing a
I'd suggest using an external function/value with dependent types that tell
ATS the "sort" of the pointer is "agz" (arguements greater than zero.)
I'll try to put together an example.
On Thu, Jun 3, 2021, 6:15 PM David Smith wrote:
>
> When dealing with memory mapped IO, is there a neat way to a
Well, I believe that you could just call the praxi in the body of your "or"
function just like you would with any function. I don't have the ability
to test this at the moment, but later I will try to show you an example of
what I mean.
On Thu, Jun 3, 2021, 6:26 PM David Smith wrote:
> Ah, that
I would suggest either trying the "stropt" type or the "Option_vt" type.
Would you mind sharing a snippet of code, so that we could get a better
understanding of what you are trying to do?
On Thu, Jun 3, 2021, 6:00 PM David Smith wrote:
> I'm trying to wrap a library that has a function that tak