search

idris-community / idris2-lsp

Language Server for Idris2
BSD 3-Clause "New" or "Revised" License
164 stars 33 forks source link

Fix build with latest idris #203

Closed dunhamsteve closed 1 year ago

dunhamsteve commented 1 year ago

This PR fixes the build with the latest Idris (ebbae42c8 and later) in a way that is still compatible with older versions of Idris.

In ebbae42c8, Idris gains Data.List.uncons' which clashes with Server.Utils.uncons' in a way that confuses the elaborator. I fixed this by qualifying the call to uncons'. If we only want to work with ebbae42c8 and newer, a cleaner solution might be to remove Server.Utils.uncons'.

andorp commented 1 year ago

Looks good.

stefan-hoeck commented 1 year ago

I hope it's OK if I just merge this so we can get pack nightlies again even though I'm not one of the maintainers of this project.