[MLton] Re: Type of _address?
Wesley W. Terpstra
wesley@terpstra.ca
Thu, 21 Jul 2005 15:57:37 +0200
On Thu, Jul 21, 2005 at 06:37:42AM -0700, Stephen Weeks wrote:
>
> > I've managed to get 'define' working for the c-codegen, but I have
> > no idea what to do about the x86-codegen.
>
> My guess as to the right way to do this is to get outputDeclarations,
> defined in c-codegen.fun, to define symbols, just as it currently
> declares exports. Since outputDeclarations is shared by all the
> codegens, you won't have to do anything architecture specific. It
> might even make sense to communicate the symbol definition information
> from the elaborator to the codegen out-of-band via the Ffi structure,
> just as we do for exports. Simply add another function
>
> val addSymbol: {ty: CType.t vector, name: string} -> unit
>
> and tweak the declareExports function to declare it.
This is a much better idea.
I think I can handle this.
I'll send a better patch which does this in a few hours.
--
Wesley W. Terpstra