Closed asr closed 6 years ago
GHC 8.6.1-alpha2 was announced. This PR fix the compilation with this version of GHC.
Blocking https://github.com/agda/agda/issues/3160.
Thanks for merging! To avoid waiting for a release, please also modify the .cabal file in Hackage if possible.
.cabal
Done.
GHC 8.6.1-alpha2 was announced. This PR fix the compilation with this version of GHC.
Blocking https://github.com/agda/agda/issues/3160.