Fix building the latest self-hosted Idris 2

edwinb / Idris2-boot

A dependently typed programming language, a successor to Idris

https://idris-lang.org/

Other

902 stars 58 forks source link

Fix building the latest self-hosted Idris 2 #390

Closed ska80 closed 4 years ago

ska80 commented 4 years ago

Add System.Path to the 'contrib' package
Update Data.List in the 'base' package

edwinb commented 4 years ago

Oh, I missed this problem, cheers. I don't know if there's an easy way to automatically check that this still works for bootstrapping. I guess we'll just have to check manually every so often unless someone has some ideas.

melted commented 4 years ago

It should be pretty easy to make a travis job for it.