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

Snippets Groups Projects

Merged E. Rivas requested to merge er433/fix/mono-destruct_for_alls into dev 2 years ago

All threads resolved!

type:fixed

For LIGO developers

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

Changelog details:

Activity

E. Rivas assigned to @er433 2 years ago

assigned to @er433
Pierre-Emmanuel Wulfman @pewulfman started a thread on an old version of the diff 2 years ago

Resolved 2 years ago by E. Rivas
Last reply by E. Rivas 2 years ago

Pierre-Emmanuel Wulfman @pewulfman started a thread on an old version of the diff 2 years ago

Resolved 2 years ago by E. Rivas

Pierre-Emmanuel Wulfman @pewulfman started a thread on the diff 2 years ago

Resolved 2 years ago by E. Rivas

Pierre-Emmanuel Wulfman approved this merge request 2 years ago

approved this merge request

E. Rivas added 1 commit 2 years ago

added 1 commit

6ed9c0b7 - refactor: apply Pierre-Emmanuel's suggestions

Compare with previous version

E. Rivas mentioned in commit 2 years ago

mentioned in commit 0d64f06d

Laurent Canis added 17 commits 2 years ago

added 17 commits

6ed9c0b7...118f9fe7 - 15 commits from branch dev
0d64f06d - Merge branch 'er433/fix/mono-destruct_for_alls' into 'dev'
4b2d5626 - [Bot] add changelog entry

Compare with previous version

E. Rivas resolved all threads 2 years ago

resolved all threads

E. Rivas enabled automatic add to merge train when the pipeline for succeeds 2 years ago

enabled automatic add to merge train when the pipeline for baa53557 succeeds

E. Rivas started a merge train 2 years ago

started a merge train

E. Rivas merged 2 years ago

merged

E. Rivas mentioned in commit 2 years ago

mentioned in commit 9ab1aa2f

Laurent Canis unassigned @er433 9 months ago

unassigned @er433

Please register or sign in to reply