G. Allais
G. Allais
I'm confused: you need to go back to [clock-0.5.2](https://hackage.haskell.org/package/clock-0.5.2/docs/System-Clock.html) to get a library without e.g. `Boottime` but we require [`clock >= 0.8 &&
There should be some clues in `tests/admin/runtests/logs/cabal-build`
The source file on hackage does not contain ifdefs so I assumed it meant there were default implementations for other architectures.
I've opened #2900 aiming to restrict the clock types to the ones that are supported across the board.
I have now cherry-picked the `clock` fixes onto this PR. Let's see if it builds. :crossed_fingers:
The issue is that they have overlapping features and there is no clear winner. Efforts to merge them back together have failed because of how much they've diverged.
Given the chat in https://github.com/idris-hackers/idris-mode#installation I believe `idris-mode` still defaults to Idris 1 built using Haskell, a language that has not seen active development for at least 5 years. This...
Note that it is currently impossible to `open ... public` before the module's name (and telescope of parameters). If it were possible, we would be able to distinguish between a...
I do not understand how your proposition is supposed to help: `Function` is not a parametrised module anymore and as such cannot be applied upon import. We have to first...
> They can’t at all without allowing function declarations outside the top level module too. They can declare it in a separate module which they can then import before the...