Tony wrote:
> On Mon, Oct 1, 2018 at 7:17 AM Dominique Pellé > <[email protected]> wrote: > > > > Tony Mechelynck <[email protected]> wrote: > > > > > Oh, I thought we had (automatically generated) prototypes in > > > src/proto/*.pro for all functions in src/*. > > > > No. The *pro files are not meant to declare static functions, > > since static functions can only be used in the compilation > > unit that defines them. > > > > Dominique > > Yeah, I found that out yesterday after posting by looking up the > meaning of "static" in C, which shows how spottily I know C. I come > from a world where (e.g. in assembly language) any linksymbol, i.e. > any symbol visible in more than one source file (one "compilation > unit") had to be specially labeled, both as "extern" where used but > not defined, and as "entry" where defined for use by others. I see > that in C it's the opposite: anything defined at top level is assumed > to be globally visible unless restricted to the current compilation > unit by means of the "static" keyword. Yeah, this is one of the flaws in C. "static" is used in several ways and with a non-obvious effect. Anyway, these days we don't want header files at all. Unfortunately, there is no language like C that does this (I worked on Zimbu for a while to explore ideas in that direction). -- You cannot have a baby in one month by getting nine women pregnant. /// Bram Moolenaar -- [email protected] -- http://www.Moolenaar.net \\\ /// sponsor Vim, vote for features -- http://www.Vim.org/sponsor/ \\\ \\\ an exciting new programming language -- http://www.Zimbu.org /// \\\ help me help AIDS victims -- http://ICCF-Holland.org /// -- -- You received this message from the "vim_dev" maillist. Do not top-post! Type your reply below the text you are replying to. For more information, visit http://www.vim.org/maillist.php --- You received this message because you are subscribed to the Google Groups "vim_dev" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. For more options, visit https://groups.google.com/d/optout.
