Stefan Höck

> I'm comfortable with moving cong and cong2 out of the prelude and into base. Please remember that such a change will break every library using these functions. Sure, the...

OK, I'm quite sure now that this is pack related. Will closed this, if this is indeed the case. One thing I realized with this change, however, is that `.ipkg`...

There might be several issues at work then. I definitely introduced a bug in pack-admin yesterday, which let to lots of failures when building today's nightly. Also, my own packages...

Transitive dependencies have been (re)implemented in #2584. Therefore, this can be closed.

Transitive dependencies have been (re)implemented in #2584 . Therefore, this can be closed.

Here is a minimal example: During desugaring of the idiom bracket, the argument to `f` has escaped the parens: ``` Language.Reflection.Pretty> :exec putPretty `([| (f a) y |]) IApp. IVar...

Thanks for reopening this. And sorry, seems I forgot to adjust the error messages from the pkg006 test.

Just for your info, I tested this against the pack collection without any issues (I know we had that before, but it's still good to know everything went well).

@Z-snails : Any news on this? Once the expected result of the failing `idris2/pkg006` test has been adjusted, this should be ready for revision.

@Z-snails I submitted a PR to your fork with the test pkg006 fixed.