-
Notifications
You must be signed in to change notification settings - Fork 84
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Build errors of happy 1.19.8 on GHC 8.4.1-alpha1 #113
Comments
Interestingly, when I try to build a newer version from git (but not from a Hackage release), Cabal seems to think that
Looks like a Cabal v2 thing to me.. ..and indeed: haskell/cabal#4009 -- although it was fixed, or was it? |
I'm getting the same behaviour on Ubuntu, that is, I can install from Hackage but I cannot install the upstream version on GitHub:
Tested with GHC 8.2.2 and
|
The solution was to:
..and the build lived happily thereafter! Apparently, Cabal sees the files, and makes the right (or wrong, PoV-dependent) deductions from that.. |
I guess you meant
Anyway, it seems we found again a known situation (see, for example, #88). |
To build a Happy tarball that bootstraps without needing Happy installed, you should |
Happy 1.19.9 released |
GHC 8.4.1-alpha1 was announced. While testing Agda with this version of GHC, I got errors like this one:
Since the upstream version (master branch, commit 8e4dc43) compiles with GHC 8.4.1-alpha1, could you make a release, please?
Blocking agda/agda#2878.
The text was updated successfully, but these errors were encountered: