1 [Draft feature] Compiler API

Joel Berkeley edited this page 2022-09-22 16:27:39 +01:00

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

• Wiki Home Page
• Using Idris
  • Resources
  • Editor Support
  • Third-party Libraries
  • External Backends
• Working on Idris
  • Getting Started
  • What Contributions are Needed
  • Map of the Source Code
  • FAQ
• Proposed changes
  • Contrib Organisation
  • The State of Idris Documentation
  • Compiler API
  • Networking Primitives
  • Types Metaprogramming Manifesto
  • TypeScript and ECMAScript interfacing
  • Modularize Machine Representation of Types