Support letrec lifting without lambda lifting #1794

janmasrovira · 2023-02-01T11:32:51Z

janmasrovira added core Related to JuvixCore backend:geb labels Feb 1, 2023

janmasrovira added this to the 0.4 - Geb integration milestone Feb 1, 2023

janmasrovira self-assigned this Feb 1, 2023

janmasrovira linked an issue Feb 1, 2023 that may be closed by this pull request

Support LetRec in the GEB backend #1756

Closed

janmasrovira force-pushed the 1756-support-letrec-in-the-geb-backend branch from 9078522 to fa3bf3c Compare February 1, 2023 16:25

janmasrovira marked this pull request as ready for review February 1, 2023 16:29

lukaszcz modified the milestones: 0.4 - Geb integration, 0.3 - Valencia Feb 1, 2023

janmasrovira modified the milestones: 0.3 - Valencia, 0.4 - Geb integration Feb 2, 2023

janmasrovira added 4 commits February 2, 2023 10:46

rename LambdaLifting -> LambdaLetRecLifting

aac5695

add letrec lifting

4e6910c

implement only letrec

f4bf9af

add tests

11adf28

lukaszcz force-pushed the 1756-support-letrec-in-the-geb-backend branch from 005885a to 11adf28 Compare February 2, 2023 09:46

lukaszcz approved these changes Feb 2, 2023

View reviewed changes

lukaszcz merged commit fab40c6 into main Feb 2, 2023

lukaszcz deleted the 1756-support-letrec-in-the-geb-backend branch February 2, 2023 10:10

lukaszcz modified the milestones: 0.6.0, 0.5.5, 0.3.3 Dec 10, 2023

lukaszcz added the lifting label Jul 30, 2024

Provide feedback