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:     ATT dot
" Maintainer:	Marcos Macedo <bar4ka@bol.com.br>
" Last Change:	2004 May 16

if exists("current_compiler")
  finish
endif
let current_compiler = "dot"

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

CompilerSet makeprg=dot\ -T$*\ \"%:p\"\ -o\ \"%:p:r.$*\"