-
Notifications
You must be signed in to change notification settings - Fork 379
[Draft feature] Compiler API
Joel Berkeley edited this page Sep 22, 2022
·
1 revision
A discussion of what functionality we would like to see exposed by the compiler API.
- Files
- Handle files not on disk
- Handle multiple loaded files
- Support incremental changes
- Error Reporting
- Expose warnings via API
- Allow custom
reportDiagnostics : (file : String) -> List Warnings -> List Error -> Core ()
function - Generic diagnostic type
- Code Actions
- Allow getting changes to file without writing to disk
- Hover
- Accept just a location (no name)
- Return range
- Semantic Tokens
- Expose unified structure of in-order non-overlapping single-line tokens
- Incremental? Delta?
- Jump to Definition
- Expose function to jump to definition