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 that as global, if only so I don't have to "pseudo-free" the stuff 
every time I use it.

Thanks in advance.

-- 
You received this message because you are subscribed to the Google Groups 
"ats-lang-users" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to [email protected].
To view this discussion on the web visit 
https://groups.google.com/d/msgid/ats-lang-users/baa3dbd2-410f-44d5-be2e-2bbd6e7efcf5n%40googlegroups.com.

Reply via email to