diff options
| author | CodingCellist <teh6@st-andrews.ac.uk> | 2020-09-05 21:37:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-05 21:37:11 +0200 |
| commit | 3baafd5c336d18d87898ae87f16df7cd76bc8d65 (patch) | |
| tree | 3bd6787bde3c5713fd5cfc7c962d60ac4b3dac50 /heuristics.yaml | |
| parent | b0124dc88082f5ed8c96faa16d3b334d38f5949f (diff) | |
| download | vim-polyglot-3baafd5c336d18d87898ae87f16df7cd76bc8d65.tar.gz vim-polyglot-3baafd5c336d18d87898ae87f16df7cd76bc8d65.zip | |
Add support for Idris2, closes #534 (#535)
Diffstat (limited to 'heuristics.yaml')
| -rw-r--r-- | heuristics.yaml | 30 |
1 files changed, 30 insertions, 0 deletions
diff --git a/heuristics.yaml b/heuristics.yaml index 97999022..33c1c690 100644 --- a/heuristics.yaml +++ b/heuristics.yaml @@ -63,3 +63,33 @@ rules: - pattern: '^\s*#(?:(?:if|ifdef|define|pragma)\s+\w|\s*include\s+[<"]|template\s*<)' filetype: cpp - filetype: reason +--- +extensions: [idr] +rules: +- lines: 5 + rules: + - pattern: '^\s*--.*[Ii]dris ?1' + filetype: idris + - pattern: '^\s*--.*[Ii]dris ?2' + filetype: idris2 +- lines: 30 + rules: + - pattern: '^pkgs =.*' + filetype: idris + - pattern: '^depends =.*' + filetype: idris2 + - pattern: '^%language (TypeProviders|ElabReflection)' + filetype: idris + - pattern: '^%language PostfixProjections' + filetype: idris2 + - pattern: '^%access .*' + filetype: idris + - override: 'g:filetype_idr' +- filetype: idris2 +--- +extensions: [lidr] +rules: +- lines: 200 + pattern: '^>\s*--.*[Ii]dris ?1' + filetype: lidris +- filetype: lidris2 |