feat(lsp): add proposal for DAML LSP
RejectedPR- SIG
- daml-tooling
- Champion
- —
- Author org
- Alchemy
- Ask
- 1,000,000
Abstract
This proposal seeks funding to build a native Language Server Protocol (LSP) implementation for DAML, the smart contract language used on the Canton Network. Today, DAML developers rely on the Haskell LSP as a partial workaround, which lacks DAML-specific features such as template and choice awareness, contract key validation, and rights-checking diagnostics. A purpose-built DAML LSP will provide first-class editor support including intelligent autocompletion, real-time diagnostics, go-to-definition across DAML modules, and inline documentation, significantly lowering the barrier to entry for Canton smart contract development and improving productivity for existing developers.
Milestones
| Title | Due date | Target | Amount (CC) |
|---|---|---|---|
| Parser and Core Infrastructure | — | — | 250,000 |
| Diagnostics and Navigation | — | — | 250,000 |
| Autocompletion, Code Actions, and Editor Support | — | — | 500,000 |
| Total | 1,000,000 | ||
- % of approved-to-date
- 1.3%
- % if all RFV pass
- —
RFV scenario unavailable — using approved-to-date as denominator (degraded mode).
- Ask (CC)
- 1,000,000
Comments by org
6 comments · 4 orgs · last activity May 6, 2026
| Organisation | Comments |
|---|---|
| Canton Foundation | 2 |
| FTP | 2 |
| holdex | 1 |
| Alchemy | 1 |