Commit 99563a5
committed
Allow users to specify whether to use
We add an option to `Config` that allows clients to specify how HLS
should load components.
The three options are:
* SessionLoadSingleComponent: Always load only a single component
when a new component is discovered.
* SessionLoadMultipleComponents: Always allow the cradle to load
multiple components at once. This might not be always possible,
e.g., if the tool doesn't support multiple components loading.
The cradle can decide how to handle these situations.
* SessionAuto: Leave the decision to the individual cradle type.
Some cradles have good support for loading multiple components,
while others do not.
So use multiple components loading for tools, such as cabal,
and force single component loading for tools that do not support
multiple components, such as stack.cabal's multi-repl feature1 parent 334b4d4 commit 99563a5
File tree
4 files changed
+68
-329
lines changed- ghcide/session-loader/Development/IDE
- hls-plugin-api/src/Ide
- Plugin
4 files changed
+68
-329
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
42 | 42 | | |
43 | 43 | | |
44 | 44 | | |
| 45 | + | |
| 46 | + | |
| 47 | + | |
| 48 | + | |
| 49 | + | |
0 commit comments