Skip to content

Feature/external config#4

Open
jeremiepas wants to merge 4 commits into
mainfrom
feature/external-config
Open

Feature/external config#4
jeremiepas wants to merge 4 commits into
mainfrom
feature/external-config

Conversation

@jeremiepas
Copy link
Copy Markdown
Owner

No description provided.

Jeremie added 4 commits April 20, 2026 14:31
…port

- New Domain.Config module: LSPServerConfig, GraphosConfig types with YAML serialization
- New Infrastructure.Config module: YAML loader (graphos.yaml), config-driven LSP server resolution
- Refactor Client.hs: add .nix/.json to hardcoded LSP server registry, document config-driven path
- Refactor Protocol.hs: add .nix/.json/.text/.raml language ID mappings
- Refactor Detect.hs: add .nix/.json to code extensions, .text/.raml to doc extensions, add detectFilesWithExtensions for config-driven detection
- Add GraphosConfig field to PipelineConfig for future config file integration
- Add graphos.yaml default configuration file with all LSP servers and file extensions
- Update shell.nix: add nixd and vscode-langservers-extracted
- 75/75 tests pass, cabal build clean
- Split build+test and haddock into parallel jobs
- Haddock only runs on main push (skipped on PRs)
- Cache keyed on cabal.project.freeze for better hit rates
- -j4 parallel compilation throughout
- Concurrency group cancels redundant in-progress runs
- Remove --enable-benchmarks (unused)
- DRY env vars for GHC/Cabal versions
Resolved 3 merge conflicts by adopting main's refactored module structure:
- graphos.cabal: Keep main's sub-module list (ServerMap, Transport,
  CapabilityParse, Extraction) + feature's Infrastructure.Config module
- Domain.Types: Keep main's thin re-export hub pattern with sub-module
  imports, plus GraphosConfig(..) from feature's Domain.Config
- LSP.Client: Keep main's thin re-export hub delegating to ServerMap,
  Transport, CapabilityParse, and Extraction sub-modules

Build and all 81 tests pass.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant