Skip to content

Proto/Michelson: minor translator fixes

Raphaël Cauderlier requested to merge nomadic-labs/tezos:rafoo@minor_translator_fixes into proto-proposal

This fixes minor quirks in the Michelson typechecker that have been discovered as part of an effort to improve the testing coverage: see nomadic-labs/tezos#186 and tezos/tezos!1939 (closed).

Edited by Mehdi Bouaziz

Merge request reports