t; On Thursday, June 3, 2021 at 6:35:40 PM UTC-4 d4v3y_5c0n3s wrote:
>
>> 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
une 3, 2021 at 6:35:40 PM UTC-4 d4v3y_5c0n3s wrote:
> 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
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 memo
When dealing with memory mapped IO, is there a neat way to axiomatically
say "there is something at address 0x12345678?
At the moment I'm using a C macro that just returns the address, and then
have an at-view in the ATS type signature, though I'd prefer to somehow
treat tha