Aniket Deshpande

icon indicating a website link aniketd.name

icon company @input-output-hk icon location Earth icon location In search of precision and grace... @input-output-hk @fpco @xebialabs-community

Results 19 comments of Aniket Deshpande

Improve scripts/add-revions.sh

Changes to `use-gnu-tar.sh` as well as `current-timestamp.sh` from this one still seem relevant.

Get rid of redundant accessor functions

> In case of ShelleyMA it even defines a pattern synonym. That one should be removed as well This part has been addressed in #3126

Move withdrawals updating logic from `CERTS` to `LEDGER`

Closed by #5291

Byron: Force startTime in genesis data to be strict

I have switched to using `force` and that dismissed the requirement to depend on `deepseq` directly. I have also updated the version and added the change-log entry.

Conformance failure: Spec reports that pool is not registered for voting

Noted @WhatisRT, thanks! I have added the `investigation` label.

Translate: GOVCERT

@lehins Yes I also think this is already done.

Make `huddleRule`, `huddleGroup` and `huddleGRule` only return the body of the definition

The original suggestion does not type-check because `Type0` has many inhabitants, and in my limited understanding I could come up with two potential solutions: either something like `class IsType0 r...

Add `TxIx` and `TxId` to the predicate failure for `LEDGERS` rule.

In the `small-steps` package, the `Embed` class handles the wrapping of predicate failures with the help of its `wrapFailed` method, and since we need to have the information of `TxId`...

Fix `COMPLETE` for all type class based pattern synonyms

Relevant clarification about the currently possible solution: https://github.com/IntersectMBO/cardano-ledger/pull/5053