27 May
2003
27 May
'03
5:25 p.m.
On Thu, May 22, 2003 at 07:05:38PM +1000, Manuel M T Chakravarty wrote:
Ross Paterson <ross@soi.city.ac.uk> wrote,
and HsStablePtr constrained to (void *)?
This is a kludge. Essentially, we would like an abstract type and (void *) is the closest you get in C (and what is typically used in C APIs for the same purpose). It is important to be concrete about the type to fix the storage requirements.
I don't follow you. Why is it necessary to be more concrete than HsInt and HsFloat? We don't know exactly what they are, but we know we can use sizeof, and assign them, etc. Why can't HsStablePtr just be constrained to be a scalar type?