Pointer types

Google Group
1

The conservativeness is a concern. I wish that ATS could also spit out
something that was a “safe” language/AST where pointers/refs were
really typed, so that we could more easily plug into precise
collectors when the chance rears its head. :slight_smile:

It requires some work.
To read from a pointer in ATS, you need a proof and the pointer:
ptr_get (pf | p)
The proof part is already erased when the code-emitting stage is reached.

is this something that could go into the “backlog”? hope some
energetic cs student could bang it out some day… :slight_smile:

2

Yes. But I erased it. So atstype_ptr and atstype_ref are both mapped
to void* for now.On Thursday, November 13, 2014 7:49:46 PM UTC-5, Barry Schwartz wrote:

Raoul Duke <rao...@gmail.com <javascript:>> skribis:

The conservativeness is a concern. I wish that ATS could also spit
out
something that was a “safe” language/AST where pointers/refs were
really typed, so that we could more easily plug into precise
collectors when the chance rears its head. :slight_smile:

It requires some work.
To read from a pointer in ATS, you need a proof and the pointer:
ptr_get (pf | p)
The proof part is already erased when the code-emitting stage is
reached.

is this something that could go into the “backlog”? hope some
energetic cs student could bang it out some day… :slight_smile:

A ref has a type, does it not? Being a box and not merely pointer,
that is.