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
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
|
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
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.