summaryrefslogtreecommitdiffstats
path: root/compiler/cryptol.vim
blob: 7454ad5dfe1d4721e203ee9c0d8a494071f01fda (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
if !has_key(g:polyglot_is_disabled, 'cryptol')
  finish
endif

" 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\ %<\ %