Mercurial > vim
view src/nbdebug.h @ 34581:c8fbf6dd031b v9.1.0187
patch 9.1.0187: filetype: no support for Dafny files
Commit: https://github.com/vim/vim/commit/4e334d0443f28f4e749dbef38d686d0dd19122de
Author: zeertzjq <zeertzjq@outlook.com>
Date: Mon Mar 18 19:21:48 2024 +0100
patch 9.1.0187: filetype: no support for Dafny files
Problem: Dafny files are not recognized.
Solution: Recognize *.dfy files as filetype "dafny" (zeertzjq).
Ref: https://dafny.org/
Ref: https://github.com/mlr-msft/vim-loves-dafny
closes: #14226
Signed-off-by: zeertzjq <zeertzjq@outlook.com>
Signed-off-by: Christian Brabandt <cb@256bit.org>
author | Christian Brabandt <cb@256bit.org> |
---|---|
date | Mon, 18 Mar 2024 19:30:08 +0100 |
parents | 50555279168b |
children |
line wrap: on
line source
/* vi:set ts=8 sw=8 noet: * * VIM - Vi IMproved by Bram Moolenaar * Visual Workshop integration by Gordon Prieur * * Do ":help uganda" in Vim to read copying and usage conditions. * Do ":help credits" in Vim to see a list of people who contributed. */ #ifndef NBDEBUG_H #define NBDEBUG_H #ifdef NBDEBUG # ifndef ASSERT # define ASSERT(c) \ if (!(c)) \ { \ fprintf(stderr, "Assertion failed: line %d, file %s\n", \ __LINE__, __FILE__); \ fflush(stderr); \ abort(); \ } # endif # define nbdebug(a) nbdbg a # define NB_TRACE 0x00000001 # define NB_TRACE_VERBOSE 0x00000002 # define NB_TRACE_COLONCMD 0x00000004 # define NB_PRINT 0x00000008 # define NB_DEBUG_ALL 0xffffffff # define NBDLEVEL(flags) (nb_debug != NULL && (nb_dlevel & (flags))) # define NBDEBUG_TRACE 1 typedef enum { WT_ENV = 1, // look for env var if set WT_WAIT, // look for ~/.gvimwait if set WT_STOP // look for ~/.gvimstop if set } WtWait; void nbdbg(char *, ...) ATTRIBUTE_FORMAT_PRINTF(1, 2); void nbdebug_wait(u_int wait_flags, char *wait_var, u_int wait_secs); void nbdebug_log_init(char *log_var, char *level_var); extern FILE *nb_debug; extern u_int nb_dlevel; // nb_debug verbosity level #else // not NBDEBUG # ifndef ASSERT # define ASSERT(c) # endif /* * The following 3 stubs are needed because a macro cannot be used because of * the variable number of arguments. */ void nbdbg( char *fmt, ...) { } #endif // NBDEBUG #endif // NBDEBUG_H