Closed asr closed 6 years ago
GHC 8.4.1-alpha1 was announced. While testing Agda with this version of GHC, I got an error related to the versions allowed of template-haskell.
This PR fix this issue.
Blocking https://github.com/agda/agda/issues/2878.
I've made a revision on Hackage.
Great! Thanks!
GHC 8.4.1-alpha1 was announced. While testing Agda with this version of GHC, I got an error related to the versions allowed of template-haskell.
This PR fix this issue.
Blocking https://github.com/agda/agda/issues/2878.