Skip to content

DO NOT MERGE: Adapt to cardano-api changes - #1417

Draft
erikd wants to merge 3 commits into
masterfrom
erikd/crypton-ram
Draft

DO NOT MERGE: Adapt to cardano-api changes#1417
erikd wants to merge 3 commits into
masterfrom
erikd/crypton-ram

Conversation

@erikd

@erikd erikd commented Aug 14, 2026

Copy link
Copy Markdown
Contributor

Experimental PR for testing the crypton/memory/ram change over.

Copilot AI lite review requested due to automatic review settings August 14, 2026 04:14
@erikd
erikd marked this pull request as draft August 14, 2026 04:14

This comment was marked as low quality.

erikd added 3 commits August 14, 2026 14:21
…ation 1.2

cardano-api's b53b1ed2f (upstream, already merged, unrelated to crypton)
replaced caseShelleyToAllegraOrMaryEraOnwards, caseShelleyToMaryOrAlonzoEraOnwards,
and caseShelleyToAlonzoOrBabbageEraOnwards with forEraInEon/Convert; this port
mirrors that at cardano-cli's own three call sites (TxOut.hs, two Option.hs, and
Query/Run.hs).

Also replaces Data.Validation's removed liftError (Read/DRep.hs,
Read/Committee/{Hot,Cold}Key.hs) with Either.either (Failure . return) Success,
the direct equivalent for the 1.1 -> 1.2 breaking rewrite (same one already
fixed in cardano-api's own Sign.hs).
toTxOutValueInShelleyBasedEra's negative branch lost the Value~Coin type
equality the removed ShelleyToAllegraEra witness used to provide (same
issue cardano-api's own b53b1ed2f flagged for fromLedgerValue); use
L.inject under shelleyBasedEraConstraints instead, matching that fix's
lovelaceToValue/L.coin pattern.

Cip129/Run.hs used Valid.toEither directly (also removed in validation
1.2); foldValidation Left Right is the direct catamorphism replacement,
avoiding a new lens dependency.
…ints

The removed MaryEraOnwards-witness positive branch used to bundle this
instance implicitly; forEraInEon's callback needs it discharged explicitly,
same pattern as cardano-api's own upstream fixes for this migration.
@erikd
erikd force-pushed the erikd/crypton-ram branch from 0e1e628 to 5b3feaa Compare August 14, 2026 04:22
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.

2 participants