Skip to content
Snippets Groups Projects

Initial support for closure codegen

Merged Initial support for closure codegen
ci/closures into main
Merged Lennard Gäher requested to merge ci/closures into main

This MR adds initial support for closures. This includes specifying closures, generating their code, and checking their specifications.

This does not yet include actually calling closures or taking closures as function arguments.

Merge request reports

Pipeline #98661 canceled

Stage: nix-cache
    Stage: lint
      Stage: build
        Stage: tests

          Pipeline canceled for c22f4db9 on ci/closures

          Approval is optional

          Merged by Lennard GäherLennard Gäher 1 year ago (Mar 19, 2024 11:56am UTC)

          Merge details

          • Changes merged into main with 1afdd567 (commits were squashed).
          • Deleted the source branch.

          Pipeline #98663 passed with warnings

          Stage: nix-cache
            Stage: lint
              Stage: build
                Stage: tests

                  Pipeline passed with warnings for 1afdd567 on main

                  Activity

                  Filter activity
                  • Approvals
                  • Assignees & reviewers
                  • Comments (from bots)
                  • Comments (from users)
                  • Commits & branches
                  • Edits
                  • Labels
                  • Lock status
                  • Mentions
                  • Merge request status
                  • Tracking
                  Please register or sign in to reply