Andreas Abel
Andreas Abel
@rw1111 wrote: > You can do it with extra boiler plate code, Could you spell out the extra code needed to pass the MWE in the OP? Currently, the OP...
@rw111: Thanks for the update. The fact that you need a recursive function to make the OP work actually confirms my hunch that this is rather a new feature (strongly...
Agda dev 2025-11-12: This PR should be tested by several users for the look-and-feel of the new behavior. Volunteers: - @nad - @AndrasKovacs
Thanks! I am a bit confused, because I thought you would check for unused imported symbols ("redundant imports") as in Haskell, but from the code it seems you only check...
@gallais What kind of infos do you need to progress on this issue?
Ok. One could also do some sort of reference counting (with two values 0 and >=1) when we look up things in the signature. Or in other works, putting a...
I am working on this atm (AIM XLI), see - #8226
Here is a recent case of this in the wild: - https://github.com/gtk2hs/gtk2hs/issues/318 `cairo` specifies `cabal-version: 3.0`, but in the custom setup only `Cabal >= 2.0`, so a recent `cabal-install >=...
> Did I do something wrong? Apparently, because the instructions worked for me: ``` mkdir -p repo/package cp cabal-clean-0.2.20230609.tar.gz repo/package/ hackage-repo-tool --create-keys --keys keys hackage-repo-tool bootstrap --repo repo --keys keys...
Bug still exists as of today (2016-06-20).