Ignat Insarov

Results 147 comments of Ignat Insarov

I wish the code for the function `p_hsType'` had meaningful variable names. It has a lot of fiddly logic to it and with variables named like `vis`, `tele`, `qs`, `t`...

I need to think this through. If removing `ForAllVisibility` will turn out to make the code simpler, I could ask the `ormolu` people to merge a patch, then merge it...

Otherwise, could you release an updated version 2 that can be built with GHC 9.4 or thereabout? The latest as of now is 2.8.0.1 and it needs base < 4.17...

Thank you, I shall try this.

Your points address the question of interaction between `dune` and a single check. How about the bigger picture? * The first step might be to put some green checks and...

> > The first step might be to put some green checks and red crosses on the screen. For extra points: > > I agree. However, we can only start...

I belatedly realize: since `test` is merely an alias for `action`, `dune` has no way of knowing ahead of time which tasks are custom tests. The only way `dune` may...

@bovine3dom  It is a heisenbug, I experience it about half the time. I suppose it may be a race between asynchronous actions, one of which does the search and another...

Alright, so who is making the next step on this issue?