[go: up one dir, main page]

Error_monad: remove dead-code

Raphaël Proustrequested to merge
nomadic-labs/tezos:raphael-p@remove-dead-functor-in-errmon into master

Context

This MR removes some dead-code from the error monad. The functor that is removed used to be applied twice but has been replaced in both instances by Core_maker/Monad_maker.

This was discovered during !2018 (merged) / !1872 (closed)

Reviewers

@mbouaziz @Saroupille

Merge request reports