Closed asr closed 5 years ago
I created the PR https://github.com/danr/geniplate/pull/10 fixing the compilation of geniplate-mirrror 0.7.6 with GHC 8.6.1 one year ago. Because the PR wasn't merge, I asked in #176 to fix the issue in Hackage.
In this issue, I'm asking to fix the build problem with GHC 8.8.1 by changing
template-haskell < 2.15 -> template-haskell < 2.16
template-haskell < 2.15
template-haskell < 2.16
via a revision in Hackage.
Blocking https://github.com/agda/agda/issues/3725.
The issue was fixed in Hackage.
I created the PR https://github.com/danr/geniplate/pull/10 fixing the compilation of geniplate-mirrror 0.7.6 with GHC 8.6.1 one year ago. Because the PR wasn't merge, I asked in #176 to fix the issue in Hackage.
In this issue, I'm asking to fix the build problem with GHC 8.8.1 by changing
template-haskell < 2.15
->template-haskell < 2.16
via a revision in Hackage.
Blocking https://github.com/agda/agda/issues/3725.