idris2: update to 0.8.0

[ryang-25]

Description

Small bump to latest 0.8.0. I haven't tested on PowerPC, but I have removed the patches merged upstream and tested on my machine. I noticed 0.7.0 broke when Chez got updated, so I am wondering if that is something that needs to be fixed.

Some failing tests (but I suspect these are upstream)

773/793 tests successful
Failing tests:
refc/buffer
refc/clock
refc/ccompilerArgs
refc/args
refc/piTypecase001
refc/issue1778
refc/garbageCollect
refc/refc002
refc/refc003
refc/prims
refc/basicpatternmatch
refc/integers
refc/strings
refc/reuse
refc/issue2424
refc/doubles
allbackends/basic048
allbackends/popen2
allbackends/evaluator004
allbackends/perf006

Type(s)

• bugfix
• enhancement
• security fix

Tested on

macOS 15.7.2 24G325 arm64
Xcode 26.1.1 17B100

Verification

Have you

• followed our Commit Message Guidelines?
• squashed and minimized your commits?
• checked that there aren't other open pull requests for the same change?
• referenced existing tickets on Trac with full URL in commit message?
• checked your Portfile with port lint?
• tried existing tests with sudo port test?
• tried a full install with sudo port -vst install?
• tested basic functionality of all binary files?
• checked that the Portfile's most important variants haven't been broken?

[macportsbot]

Notifying maintainers:
@barracuda156 for port idris2.

[barracuda156]

This patch is required: macos-powerpc/powerpc-ports@4735e54 (backport from upstream).

[ryang-25]

It seems like you already did all the work—do you want me to test your Portfile and patch and then submit that?

[barracuda156]

@ryang-25 Whichever works better for you. I think that backport was the only thing needed. But you could just use my portfile indeed.

[ryang-25]

@barracuda156 I made a tiny change to the file extension of the patch.

[barracuda156]

Looks like MacPorts does not have a fix for upstream issue 3456, though it only affects older systems.

[ryang-25]

@barracuda156 I just went and looked at that issue—do you think that we should add zsh to the portfile or coreutils and patch the version check for older systems?

[barracuda156]

As long as the fix is only used for old OS, it is safe. Nothing depends on Idris2 here, and nothing system-essential will (so an extra dependency is no big deal). No need to use it for modern macOS, of course.