From: | ok@cs.rmit.edu.au (Richard A. O'Keefe) |
Newsgroups: | comp.compilers |
Date: | 11 Feb 1997 22:25:24 -0500 |
Organization: | Comp Sci, RMIT, Melbourne, Australia |
References: | 97-01-183 97-01-189 97-01-212 97-02-047 |
Keywords: | linker, design |
Dave Lloyd <Dave@occl-cam.demon.co.uk> writes:
>Name mangling in C++ is another
>example of the limitations in most linkers (what is wanted is a
>strong-typed linker).
Oh, like the one the B6700 had about 30 years ago?
(Type-safe linkage between Algol, Fortran, COBOL, &c.)
Dear old BINDER, how I miss it.
Is there any reason why an ELF/DWARF linker couldn't enforce type safety?
--
Richard A. O'Keefe; http://www.cs.rmit.edu.au/%7Eok; RMIT Comp.Sci.
[Hmmn, Dwarf puts in type info, doesn't it? Probably because too many C
programs get their types wrong. -John]
--
Return to the
comp.compilers page.
Search the
comp.compilers archives again.