-
Notifications
You must be signed in to change notification settings - Fork 36
Idris API Redesign Goals
Michael Messer edited this page Nov 30, 2021
·
5 revisions
- Decouple from REPL/IDE Mode
- Check as you type
- Documentation
- Multithreaded?
- Process notifications?
- Streaming results?
- Handle multiple loaded files
- Handle files not on disk
- Support incremental changes
- REPL IDE prints after every file load, but LSP can't access till after after every file is completed
- Use something similar to LSP's Diagnostic so LSP doesn't have to pattern match on all errors and warnings
- Accept just a location (no name)
- Return range
- Code actions should return a representation of changes to file(s):
- Something like LSP's TextDocumentEdit for single file edits
- Something like LSP's WorkspaceEdit for multi file edits
- Expose unified structure of in-order non-overlapping single-line tokens
- Partial?
- Delta?
- What would REPL look like with multiple files loaded and check as you type?
- Reactive notebooks?