You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Oct 7, 2020. It is now read-only.
Buffers (open files) can be not yet saved and therefore differ from what is on disk currently. Generally we want to operate with the visible contents.
Files-while-editing have the tendency to by not-valid Haskell. Or at least no type correct. There were multiple issues raised so that haskell-mode works with somewhat valid Haskell instead of totally not working.
Editors have cursor position that can serve as indicator what to act on.
Editors have marked region that can serve as indicator what to act on.
Smooth interaction requires latency hiding because 200ms is when people start to notice non-smoothness. Editor needs to be ready to handle longer-running queries, actually any query can run 'too long'. This means communication needs to be asynchronous.
The text was updated successfully, but these errors were encountered:
The editor context should definitely be available to plugins. How precisely to communicate available commands/features from a plugin to an editor is something we still need to get to grips with.
Same as 3
The session needs to run locally, and be fast. Hopefully this can be achieved by splitting out the comms into multiple logical channels (possibly all multiplexed onto a single one for emacs) and ensuring that the backend is always "live" in the sense of responding on channels not explicitly marked as possibly blocking.
Loose comments from editor (emacs) perspective:
The text was updated successfully, but these errors were encountered: