meta: fold -> foldr #25

Merged

quasigod merged 1 commit from gigamonster256/unify:push-rnkvunyykmnn into main 2025-12-10 22:57:01 +01:00

Conversation 0 Commits 1 Files changed 1 +2 -2

gigamonster256 commented 2025-12-01 01:58:21 +01:00

Contributor

Copy link

in newer nixpkgs, fold is deprecated for foldr
https://github.com/NixOS/nixpkgs/pull/456532

in newer nixpkgs, fold is deprecated for foldr https://github.com/NixOS/nixpkgs/pull/456532

gigamonster256 added 1 commit 2025-12-01 01:58:23 +01:00

meta: fold -> foldr cf7626cfbb

gigamonster256 started working 2025-12-02 00:53:09 +01:00

gigamonster256 stopped working 2025-12-02 00:53:14 +01:00

5 seconds

gigamonster256 deleted spent time 2025-12-02 00:53:28 +01:00

- 5 seconds

quasigod approved these changes 2025-12-10 22:56:56 +01:00

quasigod merged commit 35824b87ed into main 2025-12-10 22:57:01 +01:00

quasigod referenced this pull request from a commit 2025-12-10 22:57:01 +01:00

Merge pull request 'meta: fold -> foldr' (#25) from gigamonster256/unify:push-rnkvunyykmnn into main

Commenting is not possible because the repository is archived.

Reviewers

No reviewers

quasigod

Labels

Clear labels

No items

No labels

Milestone

Clear milestone

No items

No milestone

Projects

Clear projects

No items

No project

Assignees

Clear assignees

No assignees

2 participants

Due date

The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set.

Reference

quasigod/unify!25

No description provided.