Skip to content

Replace Haskell git submodules with source-repository-package stanzas#3

Open
Jimbo4350 wants to merge 2 commits into
masterfrom
jordan/replace-submodules-with-srps
Open

Replace Haskell git submodules with source-repository-package stanzas#3
Jimbo4350 wants to merge 2 commits into
masterfrom
jordan/replace-submodules-with-srps

Conversation

@Jimbo4350
Copy link
Copy Markdown

Summary

  • Drop three git submodules under server/modules/ and replace the two real Haskell dependencies with source-repository-package stanzas pinned at the same commits the submodules referenced:
    • hjsonpointer @ 879f0e74d55eef76ceaec8f60ed07657ab84bad7
    • hjsonschema @ fc9cfe92723e305e6289e7c1733f3420d64dd9d5
  • Remove wai-routes outright: nothing in the repo build-depends on it, no source imports Wai.Routes. The stale NOTE comment and the -fno-warn-redundant-constraints pragma in Ogmios.App.Server.Http (which existed only because of wai-routes) are removed with it.

The non-Haskell submodules (docs/themes/learn, server/config) are untouched — they aren't cabal inputs and are out of scope for this change.

Test plan

  • cabal build all succeeds
  • cabal test all runs the full unit suite (140 examples). Pre-existing Script_Native_0 filename-casing bug surfaced and is fixed in a follow-up; this PR keeps the SRP migration self-contained.
  • CI green

Jimbo4350 added 2 commits May 26, 2026 23:07
drop the hjsonpointer, hjsonschema and wai-routes submodules. hjsonpointer
and hjsonschema move to source-repository-package entries pinned at the
same commits the submodules referenced. wai-routes had no build-depends or
imports referencing it and is removed outright (the stale comment and the
-fno-warn-redundant-constraints pragma in Ogmios.App.Server.Http are
removed with it).
the spec label and the file on disk are both Script_Native_0.json, but
the decodeFileThrow call read Script_native_0.json. on case-sensitive
filesystems the test failed with NoSuchThing.
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