[TUHS] About Unix header files

Paul Winalski paul.winalski at gmail.com
Thu Aug 23 01:56:29 AEST 2018


On 8/22/18, Perry E. Metzger <perry at piermont.com> wrote:
>
> Not necessarily. One could produce a language-independent way of
> signaling what the type signatures are (perhaps with normalized
> language-dependent strings) and the linker could just check that they
> match.

True.  And the debugger people have already done the design work in
this area.  One could probably use DWARF to pass this info to a
linker.

> I've seen several languages (like OCaml) hack around the lack of this
> by providing an auxiliary file for a pre-link phase to check off
> of. It would be nicer if the linker could just handle that.

I'm pretty sure that is how VMS Ada solved the problem, too.

-Paul W.



More information about the TUHS mailing list