meraymond2/idris-ide-client

Update tests

Closed this issue · 0 comments

The tests aren't passing anymore for v2 because it's now returning more metadata. The tests should be updated, but it doesn't need a release, since they'll get passed through either way.