Skip to content

Push C_POLYMORPHIC_ADD/SUB selection towards the end of the pipeline

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

type:internal

For LIGO developers

Currently, C_POLYMORPHIC_ADD and C_POLYMORPHIC_SUB are solved while typing, replacing the constant by the appropriate one.

This MR pushes C_POLYMORPHIC_ADD / C_POLYMORPHIC_SUB towards the end of the pipeline (self_ast_aggregated), closer to when polymorphism is resolved through monomorphisation. As a benefit, typer is somewhat simplified.

Changelog details:

Edited by E. Rivas

Merge request reports