vim-config/after/ftplugin/haskell.vim

189 lines
5.0 KiB
VimL
Raw Normal View History

2018-06-15 17:02:14 +00:00
setlocal ts=2 sw=2 expandtab
2018-05-26 17:18:09 +00:00
"set background=light
"set guifont=Neep\ Medium\ Semi-Condensed\ 18
syntax on
filetype plugin indent on
2018-07-08 08:54:08 +00:00
" tags
call CmdAlias('hasktags', '!hasktags -c .<CR>')
" from
" https://raw.githubusercontent.com/begriffs/haskell-vim-now/master/git-hscope
call CmdAlias('codex', 'call system("haskell-ctags")<CR><CR>call LoadHscope()<CR>')
map <leader>tg :codex<CR>
set tags=tags;/,codex.tags;/
nnoremap <leader>gd <C-]>
nnoremap <silent> <leader>cgd :cs find g <C-R>=expand("<cword>")<CR><CR>
nnoremap <silent> <C-\> :cs find c <C-R>=expand("<cword>")<CR><CR>
set cscopeprg=do_at_stack_root\ hscope
set csre
set csto=1 " search codex tags first
set nocst
" set cscopequickfix=s-,c-,d-,i-,t-,e-,a-
function! LoadHscope()
set nocscopeverbose " suppress 'duplicate connection' error
let hsf = findfile("hscope.out", ".;")
if filereadable(hsf)
exe "cs add " . hsf
elseif $HSCOPE_DB != ""
cs add $HSCOPE_DB
endif
set cscopeverbose
endfunction
au BufEnter /*.hs call LoadHscope()
2018-05-26 17:18:09 +00:00
2018-07-08 08:54:57 +00:00
"hoogle
nnoremap <leader>ho :Hoogle<CR>
nnoremap <leader>hc :HoogleClose<CR>
2018-05-26 17:18:09 +00:00
" haskell-vim
2018-06-15 17:02:14 +00:00
let g:haskell_classic_highlighting = 1
let g:haskell_indent_disable = 1
2018-05-26 17:18:09 +00:00
" let g:haskell_enable_quantification = 1
" let g:haskell_enable_recursivedo = 1
" let g:haskell_enable_arrowsyntax = 1
" let g:haskell_enable_pattern_synonyms = 1
" let g:haskell_enable_typeroles = 1
" let g:haskell_indent_if = 3
" let g:haskell_indent_case = 5
" let g:haskell_indent_let = 4
" let g:haskell_indent_where = 6
" let g:haskell_indent_do = 3
" let g:haskell_indent_in = 1
2018-06-15 17:02:14 +00:00
" haskellmode-vim
function! HaskellDocCurrentWord()
let word = expand("<cword>")
exe "IDoc " . word
endfunction
" done by LSP now
2018-06-15 17:40:09 +00:00
nmap <F7> :call HaskellDocCurrentWord()<CR><CR>
2018-06-15 17:02:14 +00:00
nmap <silent> <F3> :silent update <bar> HsimportModule<CR>
nmap <silent> <F4> :silent update <bar> HsimportSymbol<CR>
2018-05-26 17:18:09 +00:00
" liquid-types
let g:vim_annotations_offset = '/.liquid/'
" autocmd BufWritePost *.hs call s:check_and_lint()
" function! s:check_and_lint()
" let l:path = expand('%:p')
" let l:qflist = ghcmod#make('check', l:path)
" call extend(l:qflist, ghcmod#make('lint', l:path))
" call setqflist(l:qflist)
" cwindow
" if empty(l:qflist)
" echo "No errors found"
" endif
" endfunction
2018-06-15 17:02:14 +00:00
" LSP
let g:LanguageClient_autoStart = 0
2018-06-15 17:02:14 +00:00
let g:LanguageClient_serverCommands = {
2018-07-03 10:27:21 +00:00
\ 'haskell': ['hie-wrapper', '--lsp', '-d', '-l', $HOME.'/lang-server.log'],
2018-06-15 17:02:14 +00:00
\ }
2018-06-15 17:39:52 +00:00
" we use ALE instead
let g:LanguageClient_diagnosticsEnable = 0
2018-06-15 17:02:14 +00:00
2018-06-15 17:39:59 +00:00
nnoremap <leader>lc :call LanguageClient_contextMenu()<CR>
" nnoremap <silent> gd :call LanguageClient#textDocument_definition()<CR>
2018-06-15 17:39:59 +00:00
nnoremap <silent> <C-F6> :call LanguageClient#textDocument_hover()<CR>
vnoremap <silent> <C-F6> :call LanguageClient#textDocument_hover()<CR>
nnoremap <silent> <C-F8> :call LanguageClient#textDocument_rename()<CR>
2018-06-15 17:02:14 +00:00
" deoplete
call deoplete#custom#option('sources',{
\ '_': ['buffer'],
\ 'haskell': ['neosnippet', 'buffer', 'file', 'neco-ghc']
2018-06-15 17:02:14 +00:00
\ })
" \ 'haskell': ['neosnippet', 'buffer', 'file', 'neco-ghc']
2018-06-15 22:47:36 +00:00
" inoremap <expr><tab> pumvisible() ? "\<c-n>" : "\<tab>"
2018-06-15 17:02:14 +00:00
call deoplete#enable()
2018-06-20 13:50:00 +00:00
call deoplete#enable_logging('DEBUG', $HOME . '/deoplete.log')
2018-06-15 17:02:14 +00:00
let g:ghcmod_hlint_options = ['--ignore=Eta reduce $']
2018-05-26 17:18:09 +00:00
2018-06-15 17:02:14 +00:00
" ALE
let g:ale_enabled = 0
let g:ale_linters = {'haskell':[], 'c':['clang']}
2018-06-18 10:00:33 +00:00
" let g:ale_linters = {'haskell':['ghc-mod', 'hdevtools', 'argon'], 'c':['clang']}
2018-06-15 17:02:14 +00:00
" let g:ale_fixers = {
2018-06-20 13:49:42 +00:00
" \ 'haskell': ['brittany'],
2018-06-15 17:02:14 +00:00
" \}
let g:ale_haskell_hdevtools_options = "-g '-Wall' -g '-Wno-orphans'"
2018-06-18 10:00:33 +00:00
let g:ale_haskell_argon_error_level = 14
let g:ale_haskell_argon_warn_level = 10
let g:ale_haskell_argon_info_level = 6
2018-05-26 17:18:09 +00:00
2018-06-15 17:02:14 +00:00
" completion
"
" neco-ghc
" let g:necoghc_enable_detailed_browse = 1
" let g:haskellmode_completion_ghc = 0
" autocmd FileType haskell setlocal omnifunc=necoghc#omnifunc
" let g:ycm_semantic_triggers = {'haskell' : ['.']}
2018-05-26 17:18:09 +00:00
2018-06-14 00:28:01 +00:00
2018-06-15 17:02:14 +00:00
" clear search
nmap <F2> :noh<CR>:GhcModTypeClear<CR>
imap <F2> <C-O>:noh<CR>:GhcModTypeClear<CR>
2018-06-14 00:28:01 +00:00
2018-06-15 17:02:14 +00:00
" unmap <F3>
" unmap <F4>
2018-06-14 00:28:01 +00:00
2018-06-15 17:02:14 +00:00
nmap <F6> :GhcModType<CR>
2018-06-14 00:28:01 +00:00
2018-06-15 17:02:14 +00:00
" for intero
" if has("nvim")
" let g:ale_enabled = 0
2018-06-14 00:28:01 +00:00
2018-06-15 17:02:14 +00:00
" " let g:intero_backend = {
" " \ 'command': 'cabal new-repl',
" " \ 'options': '',
" " \ 'cwd': expand('%:p:h'),
" " \}
2018-06-14 00:28:01 +00:00
2018-06-15 17:02:14 +00:00
" " Intero starts automatically. Set this if you'd like to prevent that.
" let g:intero_start_immediately = 1
2018-06-14 00:28:01 +00:00
2018-06-15 17:02:14 +00:00
" " Enable type information on hover (when holding cursor at point for ~1 second).
" let g:intero_type_on_hover = 1
2018-06-14 00:28:01 +00:00
2018-06-15 17:02:14 +00:00
" " Change the intero window size; default is 10.
" let g:intero_window_size = 15
2018-06-14 00:28:01 +00:00
2018-06-15 17:02:14 +00:00
" " Sets the intero window to split vertically; default is horizontal
" " let g:intero_vertical_split = 1
" " let g:intero_ghci_options = '-dynamic'
2018-06-14 00:28:01 +00:00
2018-06-15 17:02:14 +00:00
" " OPTIONAL: Make the update time shorter, so the type info will trigger faster.
" set updatetime=1000
2018-06-14 00:28:01 +00:00
2018-06-15 17:02:14 +00:00
" map <silent> <leader>t <Plug>InteroGenericType
" nnoremap <silent> <leader>jd :InteroGoToDef<CR>
" map <silent> <leader>T <Plug>InteroType
" nnoremap <silent> <leader>it :InteroTypeInsert<CR>
" nnoremap <leader>ist :InteroSetTargets<SPACE>
2018-06-15 17:02:14 +00:00
" endif