FS#50161 - [idris] Idris builds on GHC 8 now.

Attached to Project: Community Packages
Opened by Leif Warner (pdxleif) - Wednesday, 27 July 2016, 03:43 GMT
Last edited by Felix Yan (felixonmars) - Wednesday, 27 July 2016, 05:32 GMT
Task Type Feature Request
Category Packages
Status Closed
Assigned To Felix Yan (felixonmars)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 0
Private No

Details

The just release Idris 0.12.1 release addresses the issue with running on GHC 8 by including this pull request:
https://github.com/idris-lang/Idris-dev/pull/3226
This task depends upon

Closed by  Felix Yan (felixonmars)
Wednesday, 27 July 2016, 05:32 GMT
Reason for closing:  Implemented
Comment by Felix Yan (felixonmars) - Wednesday, 27 July 2016, 05:32 GMT
Thanks for the info. idris-0.12.1 is in [community] now.

Loading...