G. Allais
G. Allais
It's the expected behaviour although the error message is pretty terrible. ```idris Main> :t () Prelude.() : Applicative f => f (a -> b) -> f a -> f b...
Not that I know of
What's the type of `innerFuncDummy`? Can you please provide a self-contained file.
`innerFuncDummy` takes three arguments. The first two are `(i : Nat)` and `(m: Nat)` but you used the names `i` and `n` to refer to them. Consequently `qs` is typechecked...
Not at all, there does seem to be a bug hiding behind the non-bug of the shrunken case. Thanks for taking the time to submit a self-contained reproducer, sorry I...
I have started writing a wee shell script to install the stdlib automatically Edit: first draft in #2895
> This seems to be a GHC synchronization issue (that I have not tracked down in full) where XdgState was added. This is new to directory-1.3.7.0 (which itself is quite...
I expect that would mean that it would stop building for other reviewers? The principled solution is to have a cabal file that specifies the proper constraints on `directory` (and...
I've blocked off Wednesday 🤞
Alright, I got something working locally. I'll let the CI run and it'll hopefully work on the build servers too.