Skip to content

Fix abstractors for nested builtin submodules

E. Rivas requested to merge er433/fix/builtin-submod into dev


For LIGO developers

Some of the logic used for built-in modules was left in the abstractors, and it prevents nested modules.

This MR cleans up the built-in module list, and improve the handling to support nested modules (i.e. a module inside a module such as Tezos).

Changelog details:

Merge request reports