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

Failure to compile with GHC 7.10 on travis #121

Closed
ivanperez-keera opened this issue Mar 30, 2019 · 0 comments
Closed

Failure to compile with GHC 7.10 on travis #121

ivanperez-keera opened this issue Mar 30, 2019 · 0 comments
Assignees
@ivanperez-keera
Labels
bug Something isn't working

Comments

@ivanperez-keera
Copy link
Member

The travis file still tries to compile with GHC 7.10. Since we don't support it, it needs to be removed.
@ivanperez-keera ivanperez-keera self-assigned this Mar 30, 2019
ivanperez-keera referenced this issue in Copilot-Language/copilot-language Mar 30, 2019
@ivanperez-keera
Specifies version bounds more clearly. Refs #3.
263cbe0 
Copilot-Language/copilot#13
ivanperez-keera referenced this issue in Copilot-Language/copilot-language Mar 30, 2019
@ivanperez-keera
Merge branch 'develop-version-bounds'.
bfef5e5 
Refs #3, Copilot-Language/copilot#13.
ivanperez-keera referenced this issue in Copilot-Language/copilot-language Mar 30, 2019
@ivanperez-keera
Compiles on travis with GHC 8.*. Refs #3.
51dfd38
@fdedden fdedden transferred this issue from Copilot-Language/copilot-language May 6, 2021
@fdedden fdedden added the bug Something isn't working label May 6, 2021
fdedden pushed a commit that referenced this issue May 6, 2021
@ivanperez-keera
Specifies version bounds more clearly. Refs #121.
be2da52 
#13
fdedden pushed a commit that referenced this issue May 6, 2021
@ivanperez-keera
Merge branch 'develop-version-bounds'.
2cd5ed0 
Refs #121, #13.
fdedden pushed a commit that referenced this issue May 6, 2021
@ivanperez-keera
Compiles on travis with GHC 8.*. Refs #121.
3e40231
fdedden pushed a commit that referenced this issue May 6, 2021
@ivanperez-keera
Merge branch 'develop-travis-fix'. Closes #121.
53fd0d0
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@ivanperez-keera ivanperez-keera

Labels
bug Something isn't working
Milestone
No milestone
Development

No branches or pull requests
2 participants
@ivanperez-keera @fdedden