Skip to content

Node 10.6 #6290

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Draft
wants to merge 20 commits into
base: master
Choose a base branch
from
Draft

Node 10.6 #6290

Changes from 1 commit
Commits
Show all changes
20 commits
Select commit Hold shift + click to select a range
c38a12e
Propagate changes from cardano-cli
Jimbo4350 Jul 24, 2025
f6a5b99
REMOVE ME: Srps
Jimbo4350 Jul 24, 2025
b7b0f15
WIP: 10.6 dependency bump
Aug 9, 2025
1768396
Update deps
carbolymer Aug 14, 2025
0323395
Try update ekg-forward
carbolymer Aug 18, 2025
2c8dae5
Integrated ouroboros-network:cardano-diffusion package
coot Jun 12, 2025
81422ce
Fixed failing tests
coot Jun 16, 2025
c0d305b
Removed a stale TODO comment
coot Jun 16, 2025
92081aa
More fixes, still not compiling yet
carbolymer Aug 19, 2025
6c289f3
Update SRPs and flake.lock
carbolymer Aug 20, 2025
b8a9e20
nix build fix
carbolymer Aug 20, 2025
4f23de1
Fix non-exhaustive pattern-matching in LedgerQueries
geo2a Aug 25, 2025
b2c1170
Consensus traces: update ChainDB.PoppedBlockFromQueue trace
geo2a Aug 25, 2025
66cd58a
Consensus traces: update Mempool traces
geo2a Aug 25, 2025
34552bc
Consensus traces: update Genesis State Machine traces
geo2a Aug 25, 2025
782dc0a
Consensus traces: update LedgerDB.V2.FlavorImplSpecificTrace
geo2a Aug 25, 2025
bd5c990
Consensus traces: update LedgerDB.TraceForkerEvent trace
geo2a Aug 25, 2025
82d3a80
Consensus traces: update SelectView traces
geo2a Aug 25, 2025
e6e2465
Bump cardano-api & cardano-cli
carbolymer Sep 24, 2025
fd237cd
Update project and flake
ana-pantilie Sep 25, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Fix non-exhaustive pattern-matching in LedgerQueries
  • Loading branch information
@geo2a @carbolymer
geo2a authored and carbolymer committed Sep 24, 2025
commit 4f23de1353a43bae77fc136b6d5eaab0885f52f0
56 changes: 30 additions & 26 deletions cardano-node/src/Cardano/Node/Queries.hs
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -290,40 +290,44 @@ instance (LedgerQueries x, NoHardForks x)
ledgerDRepMapSize = ledgerDRepMapSize . unFlip . project . Flip

-- TODO those states make no sense, since required lenses got moved to Conway
-- TODO non-exhaustive pattern matches
-- TODO(geo2a): fill in TODOs following the pattern, after adding missing instances
instance LedgerQueries (Cardano.CardanoBlock c) where
ledgerUtxoSize = \case
-- Cardano.LedgerStateByron ledgerByron -> ledgerUtxoSize ledgerByron
-- Cardano.LedgerStateShelley ledgerShelley -> ledgerUtxoSize ledgerShelley
-- Cardano.LedgerStateAllegra ledgerAllegra -> ledgerUtxoSize ledgerAllegra
-- Cardano.LedgerStateMary ledgerMary -> ledgerUtxoSize ledgerMary
-- Cardano.LedgerStateAlonzo ledgerAlonzo -> ledgerUtxoSize ledgerAlonzo
-- Cardano.LedgerStateBabbage ledgerBabbage -> ledgerUtxoSize ledgerBabbage
Cardano.LedgerStateConway ledgerConway -> ledgerUtxoSize ledgerConway
Cardano.LedgerStateByron ledgerByron -> ledgerUtxoSize ledgerByron
Cardano.LedgerStateShelley _ledgerShelley -> undefined -- TODO(geo2a)
Cardano.LedgerStateAllegra _ledgerAllegra -> undefined -- TODO(geo2a)
Cardano.LedgerStateMary _ledgerMary -> undefined -- TODO(geo2a)
Cardano.LedgerStateAlonzo _ledgerAlonzo -> undefined -- TODO(geo2a)
Cardano.LedgerStateBabbage _ledgerBabbage -> undefined -- TODO(geo2a)
Cardano.LedgerStateConway ledgerConway -> ledgerUtxoSize ledgerConway
Cardano.LedgerStateDijkstra ledgerDijkstra -> ledgerUtxoSize ledgerDijkstra
ledgerDelegMapSize = \case
-- Cardano.LedgerStateByron ledgerByron -> ledgerDelegMapSize ledgerByron
-- Cardano.LedgerStateShelley ledgerShelley -> ledgerDelegMapSize ledgerShelley
-- Cardano.LedgerStateAllegra ledgerAllegra -> ledgerDelegMapSize ledgerAllegra
-- Cardano.LedgerStateMary ledgerMary -> ledgerDelegMapSize ledgerMary
-- Cardano.LedgerStateAlonzo ledgerAlonzo -> ledgerDelegMapSize ledgerAlonzo
-- Cardano.LedgerStateBabbage ledgerBabbage -> ledgerDelegMapSize ledgerBabbage
Cardano.LedgerStateByron ledgerByron -> ledgerDelegMapSize ledgerByron
Cardano.LedgerStateShelley _ledgerShelley -> undefined -- TODO(geo2a)
Cardano.LedgerStateAllegra _ledgerAllegra -> undefined -- TODO(geo2a)
Cardano.LedgerStateMary _ledgerMary -> undefined -- TODO(geo2a)
Cardano.LedgerStateAlonzo _ledgerAlonzo -> undefined -- TODO(geo2a)
Cardano.LedgerStateBabbage _ledgerBabbage -> undefined -- TODO(geo2a)
Cardano.LedgerStateConway ledgerConway -> ledgerDelegMapSize ledgerConway
Cardano.LedgerStateDijkstra ledgerDijkstra -> ledgerDelegMapSize ledgerDijkstra
ledgerDRepCount = \case
-- Cardano.LedgerStateByron ledgerByron -> ledgerDRepCount ledgerByron
-- Cardano.LedgerStateShelley ledgerShelley -> ledgerDRepCount ledgerShelley
-- Cardano.LedgerStateAllegra ledgerAllegra -> ledgerDRepCount ledgerAllegra
-- Cardano.LedgerStateMary ledgerMary -> ledgerDRepCount ledgerMary
-- Cardano.LedgerStateAlonzo ledgerAlonzo -> ledgerDRepCount ledgerAlonzo
-- Cardano.LedgerStateBabbage ledgerBabbage -> ledgerDRepCount ledgerBabbage
Cardano.LedgerStateByron ledgerByron -> ledgerDRepCount ledgerByron
Cardano.LedgerStateShelley _ledgerShelley -> undefined -- TODO(geo2a)
Cardano.LedgerStateAllegra _ledgerAllegra -> undefined -- TODO(geo2a)
Cardano.LedgerStateMary _ledgerMary -> undefined -- TODO(geo2a)
Cardano.LedgerStateAlonzo _ledgerAlonzo -> undefined -- TODO(geo2a)
Cardano.LedgerStateBabbage _ledgerBabbage -> undefined -- TODO(geo2a)
Cardano.LedgerStateConway ledgerConway -> ledgerDRepCount ledgerConway
Cardano.LedgerStateDijkstra ledgerDijkstra -> ledgerDRepCount ledgerDijkstra
ledgerDRepMapSize = \case
-- Cardano.LedgerStateByron ledgerByron -> ledgerDRepMapSize ledgerByron
-- Cardano.LedgerStateShelley ledgerShelley -> ledgerDRepMapSize ledgerShelley
-- Cardano.LedgerStateAllegra ledgerAllegra -> ledgerDRepMapSize ledgerAllegra
-- Cardano.LedgerStateMary ledgerMary -> ledgerDRepMapSize ledgerMary
-- Cardano.LedgerStateAlonzo ledgerAlonzo -> ledgerDRepMapSize ledgerAlonzo
-- Cardano.LedgerStateBabbage ledgerBabbage -> ledgerDRepMapSize ledgerBabbage
Cardano.LedgerStateByron ledgerByron -> ledgerDRepMapSize ledgerByron
Cardano.LedgerStateShelley _ledgerShelley -> undefined -- TODO(geo2a)
Cardano.LedgerStateAllegra _ledgerAllegra -> undefined -- TODO(geo2a)
Cardano.LedgerStateMary _ledgerMary -> undefined -- TODO(geo2a)
Cardano.LedgerStateAlonzo _ledgerAlonzo -> undefined -- TODO(geo2a)
Cardano.LedgerStateBabbage _ledgerBabbage -> undefined -- TODO(geo2a)
Cardano.LedgerStateConway ledgerConway -> ledgerDRepMapSize ledgerConway
Cardano.LedgerStateDijkstra ledgerDijkstra -> ledgerDRepMapSize ledgerDijkstra

--
-- * Node kernel
Expand Down