From: Faré <fa...@gm...> - 2009-10-10 14:30:54
|
2009/10/10 Attila Lendvai <att...@gm...>: >> I understand your desire to do this, but this is an unusually strict >> requirement. For example, GCC's output fails this test when debug is >> enabled, unless GNU objcopy is used to enable debuglink. > > well, using the gnu toolchain as the basis of a comparison is... > >> To refine James' idea, would it be hard to calculate a hash of the sexprs in >> a source file? > > > some people use reader macros that read into CLOS instances that are > macroexpanded away (like our lib, cl-quasi-quote). those sexps are not > guaranteed to be as simple as you think. > Moreover, including the hash of the source in the object defeats part of the purpose, which is to be able to have different sources with the same object file from which we can conclude that they are semantically equivalent (e.g. whitespace change, comments, trivial refactoring, lexical name change, etc.). Ideally, you should be able to separate or strip the debug info. [ François-René ÐVB Rideau | Reflection&Cybernethics | http://fare.tunes.org ] If the human mind were simple enough to understand, we'd be too simple to understand it. -- Pat Bahn |