Remove auxiliar internal type `map_or_big_map` (!1728) · Merge requests · ligolang / LIGO

Merged E. Rivas requested to merge er433/typer/remove_map_or_big_map into dev May 09, 2022

type:internal

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 May 09, 2022 by E. Rivas