diff options
| author | Adam Stankiewicz <sheerun@sher.pl> | 2016-05-02 10:44:59 +0200 |
|---|---|---|
| committer | Adam Stankiewicz <sheerun@sher.pl> | 2016-05-02 10:44:59 +0200 |
| commit | 76d23a21e6904b1c09ddad1cb3fa769bbfe17991 (patch) | |
| tree | 59a3472dd1f6ca1782261d66b971485f4b2995a4 /compiler/cryptol.vim | |
| parent | 5dd1a7e83966c92d220073185f1738dfe441f59e (diff) | |
| download | vim-polyglot-76d23a21e6904b1c09ddad1cb3fa769bbfe17991.tar.gz vim-polyglot-76d23a21e6904b1c09ddad1cb3fa769bbfe17991.zip | |
Add cryptol syntax, closes #107
Diffstat (limited to 'compiler/cryptol.vim')
| -rw-r--r-- | compiler/cryptol.vim | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/compiler/cryptol.vim b/compiler/cryptol.vim new file mode 100644 index 00000000..1b512365 --- /dev/null +++ b/compiler/cryptol.vim @@ -0,0 +1,24 @@ +if !exists('g:polyglot_disabled') || index(g:polyglot_disabled, 'cryptol') == -1 + +" Vim compiler file +" Compiler: Cryptol version 1.8.19-academic Compiler +" Maintainer: Edward O'Callaghan <victoredwardocallaghan AT gmail DOT com> +" Latest Revision: 25-Apr-2013 + +if exists("current_compiler") + finish +endif +let current_compiler = "cryptol" + +if exists(":CompilerSet") != 2 + command = -nargs =* CompilerSet setlocal <args> +endif + +" TODO: Work out errorformat for the Cryptol compiler, see +" :help errorformat +CompilerSet errorformat& " use the default 'errorformat' + +" "%<" means the current file name without extension. +CompilerSet makeprg=cryptol\ -o\ %<\ % + +endif |