[MLton] Re: Type of _address?

Wesley W. Terpstra wesley@terpstra.ca
Thu, 21 Jul 2005 13:52:48 +0200

On Thu, Jul 21, 2005 at 01:20:15PM +0200, Wesley W. Terpstra wrote:
> On Thu, Jul 21, 2005 at 12:29:05PM +0200, Wesley W. Terpstra wrote:
> > 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.
> Err - rather, I just made _import # use CType.Pointer.
> I've made the change. AFAICS, it's strictly better.

Damn it.

I forgot that _address is also used with _import *.
How the hell should this work?

Any arrow-type in _address yields: extern void foo(void);
Or what? Yuck.

Wesley W. Terpstra