search

plfa / plfa.github.io

An introduction to programming language theory in Agda
https://plfa.github.io
Creative Commons Attribution 4.0 International
1.36k stars 307 forks source link

Change recommended ghc 9.2.4 -> 9.2.8 #932

Closed robsimmons closed 10 months ago

robsimmons commented 10 months ago

As described in the changelog for ghc 9.2.5 https://downloads.haskell.org/~ghc/9.2.5/docs/html/users_guide/9.2.5-notes.html, there's an issue with segfaults on macOS 13+ https://gitlab.haskell.org/ghc/ghc/-/issues/21964

Have confirmed that 9.2.4 crashes on my M1 mac with OSX Sonoma, but when I used 9.2.8 instead it worked.

wenkokke commented 10 months ago

Closing in favour of #933.

robsimmons commented 10 months ago

✨ thanks for taking over this update!