On Fri, Jan 14, 2011 at 6:20 PM, Richard Kenner <ken...@vlsi1.ultra.nyu.edu> wrote: >> The Ada people call their headers 'specifications', because a lot of >> program specifications are placed in those headers. >> >> But they are not specifications in a sense that you can have multiple >> implementations of them. I.e. there is a 1-to-1 correspondence between >> Ada package declarations and package bodies. >> >> Feel free to correct me if I am mistaken. > > You are mistaken. ;-)
I am not mistaken. For a single Ada program that compiles successfully, there is 1-to-1 correspondence of a package declaration and package body. > > It's not uncommon to have multiple different implementations of the > same specification, for example for different target architectures or > one might be production and the other development. That's what conditional compilation, modules and build systems are for.
