Skip to content

Remove auxiliar internal type `map_or_big_map`

E. Rivas requested to merge er433/typer/remove_map_or_big_map into dev

type:internal

For LIGO developers

This MR removes map_or_big_map internal type. When checking a C_MAP_ADD, we try to type with map and if it fails, we try again with big_map.

Changelog details:

Edited by E. Rivas

Merge request reports