teodanciu

Results 9 comments of teodanciu

Force-pushed to incorporate feedback from Tim (except `valueFromList`)

Added a commit that restores `valueFromList` and uses it to remove duplication, following Tim's apt suggestion

Reorganized commits to reduce noise and squashed them such that each one leaves the code in a valid state

I think I addressed all comments and change requests - would be great to merge if anyone wants to take another look and/or approve!

There was an outdated one, which I just refreshed and opened a draft PR for it: https://github.com/input-output-hk/cardano-ledger/pull/2887

I'm rephrasing the above, in order to be more explicit. During the bootstrap period (which means: while the protocol version is 9) , 1. For proposing: Only the following types...

Hi, here are some details about my system, on which this bug is reproducing every time: *OS: Manjaro 0.8.10 64-bit *ghc: 7.8.3 *ghc-mod: 5.0.1.1 *cabal: 1.20.0.3 using version 1.20.0.2 of...

@Atsky This works for me. I can use the plugin now, thanks!

> CC members cannot vote votes do not count after their term expires A test for this exists [in RatifySpec](https://github.com/IntersectMBO/cardano-ledger/blob/master/eras/conway/impl/testlib/Test/Cardano/Ledger/Conway/Imp/RatifySpec.hs#L110) , so ticking it off the list.