Not sure if this is completely correct however, it typechecks
extern fun {a:t@ype}
ptr_get0 {l:addr} (pf: a @ l | p: ptr l): (a @ l | a)
implement {a} ptr_get0 {l} (pf | p) = (pf | A) where { val A = !p }
--
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 post to this group, send email to [email protected].
Visit this group at https://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/1fc1a3df-b70b-4106-be32-f6d51c5a5fc3%40googlegroups.com.
