tree-sitter-al

A tree-sitter parser for the AL programming language used in Microsoft Dynamics 365 Business Central.

Parser Status

Validated against four AL source trees (70,354 .al files in all). Each corpus is parsed with ./parse-al-parallel.sh and also swept with tools/has_error_sweep.py, which sees hidden-token MISSING nodes the parse script cannot:

The two BCApps-29.0 files are src/Apps/DE/EDocumentDE/app/src/EDocumentServiceDE.PageExt.al and src/Layers/APAC/Tests/SINGLESERVER/ERMPurchaseReportsIII.Codeunit.al; both are recorded in docs/bc29-parse-gaps.md. The earlier "separate production estate" of 21,494 files is not available to this release's measurement and is no longer claimed.

Every figure above was measured at the 4.6.0 release commit (8127274). Three different test counts circulated during 4.0.0 development and two were arithmetic from a stale copy of this table — re-measure, never recall. parser.c is quoted in MiB with the byte count beside it because both conventions have been wrong here in opposite directions.

The byte-coverage row is stated as a count, scoped to the corpus it was measured on. At 4.5.0 and again at 4.6.0 it was re-measured with python -m tools.query_coverage.qc run --all --full-corpus, which walks BC.History only (15,358 files, 13,338,707 fielded edges) and reported no gaps finding. The other three corpora were not walked, so no byte-coverage claim is made for them. (The 4.0.0 measurement over the since-dropped 36,852-file set found 3 bytes, a doubled UTF-8 BOM in one file of the unavailable estate; that figure is history, not a current claim.) Two things the instrument must get right: the leading BOM is excluded (tools/validate_al_file.py's _significant() does the same), and an ERROR node covers its bytes, so a deliberately broken file shows no gap at all — the instrument needed a control that ignores anonymous leaves before its zeros meant anything.

"0 errors" is the weakest claim on this page, and 4.0.0 exists because the project learned that the hard way. Every defect fixed in this release parsed with zero ERROR nodes: 574,694 source bytes that belonged to no node, three inverted operator precedence levels, a preprocessor condition that swallowed the following line, an omitted list separator silently absorbed as an extra element. The byte coverage row is the one that would have caught most of them, and the corpus row would not have caught any.

Since 4.0.0 the success rate is a count of files actually read, reconciled per chunk — it used to be the total minus the files that reported an error, which counted a file that was never opened as a pass.

What's new in 4.6.0

Eleven issues (#30–#36, #39–#42) and one silent defect found along the way are fixed, almost all of them #if shapes that alc compiles and the parser either rejected or read wrong. No tree changes in the four production corpora except one file that is now right; read the Tree-shape change entries in CHANGELOG.md before upgrading:

• Silent wrong trees, now right. An empty #if before an else (#39) or before any statement body (deferred item 67) no longer ends the statement or becomes the body. An end; at a statement start is no longer read as a call of a name end (#41).
• ERROR on valid AL, now parsed. Long if / else if chains of split blocks no longer hit tree-sitter's parse-version limit (#40); end; in both arms of a group (#42); nested and consecutive #if var regions (#30, #31); a split trigger header (#32, new preproc_split_trigger_preamble); a return clause chosen by #if (#35, new preproc_conditional_return, preproc_conditional_return_type).
• Object references. extends <number> (#34) and namespace-qualified names after extends / implements (#36, a qualified_name node).
• Fields. preproc_split_procedure_preamble exposes its shared body as body (#33).

Parser tables grew by 4.1% (STATE_COUNT +1,128) and parser.c by 6.9% against 4.5.0. A 16-round speed A/B on the last change showed no difference (DC and BC.History both 1.006); the earlier changes were screened on a loaded host, with no measurable slowdown either.

What's new in 4.5.0

#if groups are structural in four more places, and parts of the tree move for consumers (a minor release, as the earlier tree-shape phases were; read the migration notes in CHANGELOG.md before upgrading):

• Inside expressions. A group may stand anywhere in an expression: after an operand, between an operator and its operand, or in place of a whole operand (the new preproc_conditional_operand). Inside a region that holds a group, the binary/unary nesting is not a grouping claim; how a consumer recovers each configuration's meaning is in docs/expression-regions.md.
• Statement terminators and case-branch separators. call_statement no longer contains its ;, and a bare name in statement position is a call_statement.
• Eight strict delimited lists, and property values made of a run of groups.
• The parser tables shrank by 6% (parser.c by 10%) with no tree change.

This resolves most of the 4.0.0 known limitation below. What remains is recorded, each with its evidence, in docs/deferred-work.md: three shapes still ERROR (items 51 shape 3, 56, 57), two over-accept input alc rejects (items 58, 65), and long runs of consecutive groups parse in quadratic time (items 52, 53).

What's new in 4.0.0

This is a breaking release — the parse tree moves. Every defect below parsed with zero ERROR nodes before it was fixed. None was visible to anything the project had: the corpus was green, the tree hashes were stable, the tests passed.

The CST is now lossless

574,694 source bytes belonged to no node. They were lexed and thrown away — unhighlightable, unmatchable by any query, invisible to every gate. Now 0, across both corpora. Most were bare keyword tokens: record, field, code, tabledata and 13 type/action keywords are nodes for the first time.

Operator precedence was wrong in three places

AL is Pascal-derived, so and/or/xor bind tighter than comparison — the inverse of what the grammar declared. b := 1 = 1 and 2 = 2 was grouped (1=1) and (2=2); alc's own error message proves it is 1 = (1 and 2) = 2. Unary bound too tightly: -a * b was -(a * b), wrong at 629 sites in 193 files. And .. was an expression operator, which it is not.

Each is pinned by a fixture carrying the alc probe that established it; the full ladder is in docs/al-operator-precedence.md with 196 probe cases.

The statement terminator moved

A begin … end; now ends at its end; the ; re-parents to whatever encloses the construct. That re-spans 402,192 nodes without changing a single node type, field or count. A consumer that expected the ; inside a body or branch's byte range must adjust.

Preprocessor directives are line-scoped

#if FOO followed by a line beginning and b produced condition: (preproc_and_expression FOO b). The source condition is FOO, so every consumer evaluating that directive computed the wrong value. Conditions now stop at end of line, and an expression continued across a #if boundary stays attached to its host in nine positions.

One node type, one shape

object_type_keyword shipped childless for DATABASE:: (22,988 nodes) and with a child for its five siblings. A variable named Table was captured as both @variable.parameter and @keyword.type, 2,151 times. Identifier classification disagreed between scanner and grammar per platform, and the identifier class rejected five kinds of valid AL.

Queries reach everything

33,051 uncaptured-keyword findings → 0 across 28 node types. "<>" @operator now matches: operators were wrapped, and a wrapper capture does not capture the token inside it, so the obvious consumer pattern silently matched nothing.

Also

interface_declaration.access_value removed (alc rejects it, 0 corpus occurrences); Access = Public; no longer degrades to a bare identifier; an omitted list separator is an error instead of being absorbed as an extra element, which deleted three declared GLR conflicts; the Swift and Go bindings never linked the external scanner and now do; CMake silently rewrote the committed parser.c to ABI 14 on every build.

Found by gates built during this release — tools/query_coverage/, a corpus-wide (parent, field, child) edge census, and tools/validate_al_file.py, which answers completeness and soundness separately for one file.

Known limitation (at 4.0.0; largely resolved in 4.5.0, see above). An expression continued across a #if boundary in four shapes — after a grammatically complete construct, a second split in one expression, an else clause under a flag, and an and/comparison continuation — parsed to a wrong tree with no error. The class was not found in the corpora available at 4.0.0 (0 of 36,852 files); that count was not re-measured for 4.5.0.

See CHANGELOG.md for the full list, each with its measured blast radius.

Installation

Rust

cargo add tree-sitter-al

use tree_sitter::Parser;

let mut parser = Parser::new();
let language = tree_sitter_al::LANGUAGE;
parser.set_language(&language.into()).expect("Error loading AL grammar");
let tree = parser.parse("codeunit 50100 MyCodeunit { }", None).unwrap();
println!("{}", tree.root_node().to_sexp());

Query constants are also available:

use tree_sitter_al::{HIGHLIGHTS_QUERY, TAGS_QUERY, LOCALS_QUERY, FOLDS_QUERY, INDENTS_QUERY, TEXTOBJECTS_QUERY};

Python (tree-sitter 0.25+)

The grammar is ABI 15, which py-tree-sitter loads from 0.25.0. The core extra pulls in a compatible runtime:

pip install "tree-sitter-al[core]"

import tree_sitter
import tree_sitter_al

lang = tree_sitter.Language(tree_sitter_al.language())
parser = tree_sitter.Parser(lang)
tree = parser.parse(b'codeunit 50100 MyCodeunit { }')
print(tree.root_node)

Node.js

npm install tree-sitter-al

Pre-built binaries

Download from GitHub Releases:

V2 Architecture

The grammar was rewritten from scratch in March 2026, achieving a major reduction in parser size while improving correctness.

Before / After

Key design decisions

• Stateful external scanner — 9 scanner tokens handle property disambiguation, depth tracking (#if/#endif nesting), named begin/end keywords at every depth, and split-construct detection via lookahead.
• Parse structure, don't validate — Accept any Name = Value ; as a property. Semantic validation belongs in linters/LSP servers, not the parser.
• Generic preprocessor — One preproc_conditional rule + 20 dedicated rules for genuinely complex split constructs (begin/end, var/begin, brace-close across #if/#else branches).
• 154 named keyword nodes (152 grammar rules + 2 external scanner tokens) — All keywords including begin/end are named nodes, enabling proper syntax highlighting and code navigation queries. Every grammar keyword rule has a uniform shape: one anonymous child typed as the canonical lowercase spelling, whatever the source casing. Read a keyword's text from the node itself, never by descending into a child.

See docs/v2-blog-post-notes.md for the full rewrite narrative.

Development

Prerequisites

• Node.js (v16+)
• tree-sitter CLI: npm install -g tree-sitter-cli

Building

tree-sitter generate    # Generate parser from grammar.js
tree-sitter test        # Run test suite

Validation

./validate-grammar.sh        # Quick: generation, tests, orphan/duplicate detection
./validate-grammar.sh --full # Full: includes production AL file parsing

For grammar refactors, the parse-tree diff harness proves a change is zero-behavior-change by re-parsing every production file and asserting byte-identical trees. Take a fresh baseline before you change anything and name it for the change — verifying against a snapshot you did not just take reports a delta that has nothing to do with your edit:

./tools/tree-harness.sh snapshot ./BC.History .snapshots/baseline-<change>   # ~16s
./tools/tree-harness.sh verify   ./BC.History .snapshots/baseline-<change>   # ~11s

The query-coverage harness measures whether the tree is lossless over the source and whether values stay reachable through queries — the class of defect an error count cannot see, because a token that is lexed and then dropped changes no tree hash. It reports 0 byte gaps in 0 clusters over the full 15,358-file corpus, down from 574,694 in 164 during 4.0.0 — every keyword that was lexed and dropped now has a node. baseline.json is the 59-file manifest scope the gate runs against, not the corpus; both read zero, but the distinction still applies to the other detectors:

python -m tools.query_coverage.qc run     # regression gate, exits 1 on a new cluster
python -m tools.query_coverage.qc run --all   # full picture, always exits 0

Parsing AL files

tree-sitter parse path/to/file.al
tree-sitter parse path/to/file.al -d    # Debug output
tree-sitter parse path/to/file.al -q    # Quiet (errors only)

Key files

Contributing

See CLAUDE.md for detailed development guidelines including architecture, debugging, and conventions.

Author: Torben Leth (sshadows@sshadows.dk) License: MIT (see LICENSE)