inter-hub-haskell/scripts
Bernd Worsch debc0b7d81 fix(WP-0014/A2): fix devenv shell — IHP_LIB, ghci, ghcid now available
Root cause: devenv shell reads devenv.nix only; IHP's Haskell setup is in
flake.nix's devenv.shells.default which is only loaded by nix develop.

Fix: create devenv.yaml to register IHP as a devenv input (pinned to the
same rev as flake.lock) with overlays.default applied.  Update devenv.nix
to set IHP_LIB/IHP env vars and enable languages.haskell with pkgs.ghc
(IHP-overlay GHC) + all project packages; add ghcid explicitly.

devenv.lock pins IHP at df3922d (matches flake.lock).

scripts/compile-check: updated header comments and added IHP_LIB echo;
switches from ghcid to ghci one-shot (ghcid not available in all shells).

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-04-12 13:11:41 +00:00
..
compile-check fix(WP-0014/A2): fix devenv shell — IHP_LIB, ghci, ghcid now available 2026-04-12 13:11:41 +00:00
compile-check-core feat(WP-0016/C1-C4): Layer 2 isolation and clean-base infrastructure 2026-04-10 15:38:01 +00:00
llm_bridge.py feat: integrate llm-connect FR-1/FR-3/FR-4 into IHF bridge 2026-04-01 22:48:29 +00:00