search

idris-community / inigo

Inigo: A Package Manager for Idris2
https://inigo.pm
MIT License
61 stars 7 forks source link

Update for latest contrib Parser #23

Closed alexhumphreys closed 3 years ago

alexhumphreys commented 3 years ago

https://github.com/idris-lang/Idris2/pull/1808 had some breaking changes for the parser library used here for Markdown/SemVer/Toml, so these changes should make it compile again.

I had to edit some .ipkg/Inigo.toml files to get it to compile when editing locally, not sure how it was working without those changes before...

Most of these changes were pretty rote, but I had to dig in a bit to combineText, and I'm not sure what I'm doing there. I split those changes out to a separate commit so they're easier to review.

alexhumphreys commented 3 years ago

Yep, make bootstrap works ok, but if I try edit the files like cd Base/Markdown and then open the files with idris2 it complains that it can't find the module Extra.Text or whatever...