[Draft feature] Compiler API - idris-lang/Idris2 GitHub Wiki

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