<commit_before>"============================================================================
"File:        idris.vim
"Description: Syntax checking plugin for syntastic.vim
"Maintainer:  raichoo <<EMAIL> at googlemail dot com>
"License:     This program is free software. It comes without any warranty,
"             to the extent permitted by applicable law. You can redistribute
"             it and/or modify it under the terms of the Do What The Fuck You
"             Want To Public License, Version 2, as published by Sam Hocevar.
"             See http://sam.zoy.org/wtfpl/COPYING for more details.
"
"============================================================================

if exists("g:loaded_syntastic_idris_idris_checker")
    finish
endif
let g:loaded_syntastic_idris_idris_checker=1

function! SyntaxCheckers_idris_idris_IsAvailable()
    return executable("idris")
endfunction

if !exists("g:syntastic_idris_options")
    let g:syntastic_idris_options = " "
endif


function! SyntaxCheckers_idris_idris_GetLocList()
    let makeprg = syntastic#makeprg#build({
        \ 'exe': 'idris',
        \ 'args': '--check '. g:syntastic_idris_options,
        \ 'filetype': 'idris',
        \ 'subchecker': 'idris' })

    let errorformat = '"%f" (line %l\, column %c\):'<commit_msg>vim: catch more errors with syntastic<commit_after>"============================================================================
"File:        idris.vim
"Description: Syntax checking plugin for syntastic.vim
"Maintainer:  raichoo <raichoo at googlemail dot com>
"License:     This program is free software. It comes without any warranty,
"             to the extent permitted by applicable law. You can redistribute
"             it and/or modify it under the terms of the Do What The Fuck You
"             Want To Public License, Version 2, as published by Sam Hocevar.
"             See http://sam.zoy.org/wtfpl/COPYING for more details.
"
"============================================================================

if exists("g:loaded_syntastic_idris_idris_checker")
    finish
endif
let g:loaded_syntastic_idris_idris_checker=1

function! SyntaxCheckers_idris_idris_IsAvailable()
    return executable("idris")
endfunction

if !exists("g:syntastic_idris_options")
    let g:syntastic_idris_options = " "
endif


function! SyntaxCheckers_idris_idris_GetLocList()
    let makeprg = syntastic#makeprg#build({
        \ 'exe': 'idris',
        \ 'args': '--check '. g:syntastic_idris_options,
        \ 'filetype': 'idris',
        \ 'subchecker': 'idris' })

    let errorformat =
        \ '"%f" (line %l\, column %c\):,' .
        \ '%f\:%l\:%m'
{'fraction_non_alphanumeric': 0.2087745839636914, 'fraction_numerical': 0.0015128593040847202, 'mean_word_length': 3.8003629764065336, 'pattern_counts': {'":': 0, '<': 6, '<?xml version=': 0, '>': 6, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1368808', 'n_tokens_mistral': 797, 'n_tokens_neox': 767, 'n_words': 213}