Monomorphisation: forall eta expand in monomorphisation (!1964) · Merge requests · ligolang / LIGO · GitLab

Sign in or sign up before continuing. Don't have an account yet? Register now to get started.

type:fixed

For LIGO developers

This MR fixes some pathological case reminiscent from monomorphisation which is let-polymorphism focused.

Changelog details: