Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Support GHC 8.10.3 #5109

Closed
3 tasks done
andreasabel opened this issue Dec 21, 2020 · 4 comments
Closed
3 tasks done

Support GHC 8.10.3 #5109

andreasabel opened this issue Dec 21, 2020 · 4 comments
Assignees
@asr
Labels
documented-in-changelog Issues already documented in the CHANGELOG ghc support Changes to supported GHC versions ghc-8.10.3 type: enhancement Issues and pull requests about possible improvements

Comments

@andreasabel
Copy link
Member

andreasabel commented Dec 21, 2020 •
edited by asr

Agda currently does not build with GHC 8.10.3. Let's collect the issues here.

Known issues (2021-01-06)
@asr asr mentioned this issue Dec 21, 2020
Closed
@asr asr added ghc support Changes to supported GHC versions type: enhancement Issues and pull requests about possible improvements labels Dec 21, 2020
@asr asr changed the title Build with GHC 8.10.3 Support GHC 8.10.3 Dec 21, 2020
@asr asr mentioned this issue Dec 22, 2020
Closed
asr added a commit that referenced this issue Dec 25, 2020
@asr
[ #5109, fix-whitespace ] Updated submodule commit.
f3370a4
@andersk
Copy link
Contributor

andersk commented Dec 27, 2020

Commit 76278c2 “relax ghc version bound for transformers dependency” is also needed. It’s in master but not in a release. Can that be added as a Hackage revision so that Agda 2.6.1.2 can be built on NixOS (which already has the ListLike patch)?

@andersk andersk mentioned this issue Dec 27, 2020
Merged
10 tasks
@asr
Copy link
Member

asr commented Dec 27, 2020

Can that be added as a Hackage revision so that Agda 2.6.1.2 can be built on NixOS (which already has the ListLike patch)?

No. Unfortunately, ifconditions can not be changed in Hackage.

asr added a commit that referenced this issue Dec 27, 2020
@asr
[ #5109 ] Used GHC 8.10.3 on the whitespace workflow.
f8d553b 
[ skip travis ]
@rw111
Copy link

rw111 commented Dec 27, 2020

Agda 2.6.1.2 installed with Ubuntu 20, GHC 8.10.3, Cabal 3.2.0.0 4GB:
cabal install --ghc-options="+RTS -M3G" -j1 --force-reinstalls Agda
(I was in any case having similar problems with GHC 8.8.4 and put it down to memory leaks in Cabal plus my 4GB RAM)
But my installation seems to have other problems, too.
Is there a well tested method for installing Agda at all? I've really been struggling with bug after bug.

@jespercockx
Copy link
Member

We're currently testing installation of Agda with GHC 8.0.2, 8.2.2, 8.4.4, 8.6.5, 8.8.4, and 8.10.2, with both Cabal and Stack. If you have problems with any of these versions, please ask a question on the mailing list or on Zulip, or post an issue here on github.

asr added a commit that referenced this issue Dec 28, 2020
@asr
[ #5109 hTags ] Tested with GHC 8.10.3.
736603b 
(complete tests)
asr added a commit that referenced this issue Dec 28, 2020
@asr
[ #5109 hTags ] Tested with GHC 8.10.3.
a2e4dee
@alexarice alexarice mentioned this issue Jan 4, 2021
Closed
asr added a commit that referenced this issue Jan 6, 2021
@asr
[ #5109 ] Used GHC 8.10.3 in Travis and GitHub workflows.
71630de 
(complete tests)
asr added a commit that referenced this issue Jan 6, 2021
@asr
[ #5109 nightly workflow ] Changed haskell action.
dedd04e 
Used the same haskell action than in the stack workflow.
asr added a commit that referenced this issue Jan 6, 2021
@asr
[ #5109 ] Used GHC 8.10.3 in GitHub workflows (Windows).
2740835
asr added a commit that referenced this issue Jan 6, 2021
@asr
[ #5109 ] Used GHC 8.10.3 in Travis and GitHub workflows.
fccd573 
(complete tests)
asr added a commit that referenced this issue Jan 6, 2021
@asr
[ #5109 ] Updated tested-with field.
3c13728
asr added a commit that referenced this issue Jan 6, 2021
@asr
[ #5109 ] Removed stack-8.10.2.*.yaml.
8cfb5cb
@asr asr closed this as completed in e04e689 Jan 6, 2021
@asr asr self-assigned this Jan 6, 2021
@asr asr added the documented-in-changelog Issues already documented in the CHANGELOG label Jan 6, 2021
asr added a commit that referenced this issue Jan 12, 2021
@asr
[ #5109 ] ListLike 4.7.4 was released.
5ddd2d7
asr added a commit that referenced this issue Jan 12, 2021
@asr
[ #5109 ] ListLike 4.7.4 was released.
c540034
asr added a commit that referenced this issue Jan 25, 2021
@asr
[ #5109 ] LTS 17.0 for GHC 8.10.3 was released.
1b9fa7a
asr added a commit that referenced this issue Jan 25, 2021
@asr
[ #5109 ] LTS 17.0 for GHC 8.10.3 was released.
5484cd8
asr added a commit that referenced this issue Feb 4, 2021
@asr
[ #5109 ] Used GHC 8.10.3 in Travis and GitHub workflows.
22e9bc5 
(complete tests)

(cherry picked from commit fccd573)
asr added a commit that referenced this issue Feb 4, 2021
@asr
[ #5109 ] ListLike 4.7.4 was released.
59f381f 
(cherry picked from commit c540034)
asr added a commit that referenced this issue Feb 4, 2021
@asr
[ #5109 ] LTS 17.0 for GHC 8.10.3 was released.
66f33b2 
(cherry picked from commit 5484cd8)
asr added a commit that referenced this issue Feb 4, 2021
@asr
[ #5109 ] Removed stack-8.10.2.*.yaml.
0a45a35 
(cherry picked from commit 8cfb5cb)
asr added a commit that referenced this issue Feb 6, 2021
@asr
[ #5109, #5136, Agda 2.6.1.3 ] Supported GHC 8.10.3.
8a3a976
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@asr asr

Labels
documented-in-changelog Issues already documented in the CHANGELOG ghc support Changes to supported GHC versions ghc-8.10.3 type: enhancement Issues and pull requests about possible improvements
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
5 participants
@andersk @asr @andreasabel @jespercockx @rw111