[MLton] Type of _address?
Wesley W. Terpstra
wesley@terpstra.ca
Thu, 21 Jul 2005 12:29:05 +0200
I am considering changing the _address syntax from:
_address "x": MLton.Pointer.t;
to: _address "x": MLton.Pointer.t, int;
My reason for this is that I recall doing an 'extern foo;' caused trouble on
hppa for profiling. I wonder if it will cause trouble in this case too...
(ie: a char* pointer differs from an int* pointer)
Since I already added a ctp: CType.t option in order to get 'define' to
work, and the only place the type information is missing is _address, it
seems like a smart change to make now to me.
However, it means I would have to completely break _import #, not just issue
a deprecated warning if I require that extern x; always have a type.
What do you guys think?
--
Wesley W. Terpstra