ghc 8.10.2

[chenrui333]

Created with brew bump-formula-pr.

[fxcoudert]

brew install --build-from-source agda
brew test --retry --verbose allureofthestars
brew install --build-from-source cedille
brew install --build-from-source elm
brew install --build-from-source git-annex
brew install --build-from-source idris
brew install --build-from-source texmath

[chenrui333]

forr idris, idris-lang/Idris-dev#4887

[hjelmn]

Once this one is in I have a change to add support for Apple Silicon. It will require an extensive patch based on commits to master but it works.

[carlocab]

agda: #67014
texmath: #67169

git-annex appears to be an issue with ghc on Big Sur: https://gitlab.haskell.org/ghc/ghc/-/issues/18446, #64947

[carlocab]

A number of build failures on Big Sur is most likely due (at least in part) to a problem with ghc. For example, I believe this is the case with git-annex (#64947). See also this PR #66599.

This emerges whenever ghc tries to use system frameworks. https://gitlab.haskell.org/ghc/ghc/-/issues/18446

The solution appears to be to either (#66599 (comment))

• wait for the next release (this is supposedly fixed in 8.8.5 and 8.10.3); or
• use a third-party workaround https://github.com/yairchu/macos11-haskell-workaround

Given the state of haskell-based builds in homebrew-core and the relative lack of expertise among maintainers/contributors, I imagine the former is preferable. However, I am willing to invest time in the latter if it's a desirable solution. (I know zero Haskell though, so, no promises.)

[fishtreesugar]

GHC 8.10.3 already released, https://gitlab.haskell.org/ghc/ghc/-/issues/18446 should fixed in 8.10.3.

[carlocab]

Thanks, @fishtreesugar.

PR opened: #67284