patch 9.0.1419: Lean files are not recognized Commit: https://github.com/vim/vim/commit/4a5c39fc52a73d46ac77cf574f765a465befc3c0 Author: Amaan Qureshi <amaanq12@gmail.com> Date: Tue Mar 21 19:57:33 2023 +0000 patch 9.0.1419: Lean files are not recognized Problem: Lean files are not recognized. Solution: Add a pattern for Lean files. (Amaan Qureshi, closes https://github.com/vim/vim/issues/12177)

" Vim compiler file
" Compiler:     raco test (Racket command-line tools)
" Maintainer:   D. Ben Knoble <ben.knoble+github@gmail.com>
" URL:          https://github.com/benknoble/vim-racket
" Last Change: 2022 Aug 12

let current_compiler = 'racotest'

if exists(":CompilerSet") != 2
  command -nargs=* CompilerSet setlocal <args>
endif

CompilerSet makeprg=raco\ test\ %
CompilerSet errorformat=location:%f:%l:%c