Bram: that page reads
> #warn and #warning preprocessor directives > The #warn and #warning preprocessor directives display a string on standard > error and continue compilation. Their syntax is: > #warn string > #warning string > Example: > #warn "Feature not yet implemented." There appears to be no difference between using #warn and #warning. So sure, there exists one compiler that uses #warn. I'll recant the argument, although I still think that it makes little sense to keep it there. On Tue, Mar 12, 2013 at 5:08 PM, Bram Moolenaar <[email protected]> wrote: > > > Nirk Niggler wrote: > > > line 290 of the C syntax file from version > > > > " Vim syntax file > > " Language: C > > " Maintainer: Bram Moolenaar <****@***.***> > > " Last Change: 2009 Nov 17 > > > > reads > > > > syn region cPreProc > > start="^\s*\(%:\|#\)\s*\(pragma\>\|line\>\|warning\>\|warn\>\|error\>\)" > > skip="\\$" end="$" keepend contains=ALLBUT,@cPreProcGroup,@Spell > > > > This matches "#warn" but mainstream compiler suites (GCC, CLANG) and > > the bible (K&R) do not support it. Why was this added in the first > > place? Given that it is not supported , should it be removed? > > I can't remember where it came from... > > Google mentions #warn on > www.vxdev.com/docs/vx55man/diab5.0ppc/c-additi.htm, but that page > doesn't load now. > > I believe some embedded C compilers use it. > > -- > Despite the cost of living, have you noticed how it remains so popular? > > /// 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/groups/opt_out.
