Andreas Abel
Andreas Abel
```agda module _ (A : Set) (P : A → Set) (p : (a : A) → P a) where module Eta where record Wrap : Set where constructor wrap...
This is `test/Succeed/TacticModality.agda`, but with explicit tactic arguments. ```agda open import Agda.Builtin.Reflection open import Agda.Builtin.Unit open import Agda.Builtin.Nat open import Agda.Builtin.Equality variable A : Set super-tac : Term → TC...
This reverts commit b38093ef713158fb01aac1880f035ee183602372, reopening this PR by @plt-amy : - #6845 Closes #6825.
With cabal-install-3.12.1.0, I can trigger this bug - by `cabal install -w ghc-8.0.2 system-filepath-0.4.14` (latest version of `system-filepath`) - by getting `system-filepath`and do a `cabal install --lib -w ghc-8.0.2` -...
> [__1] rejecting: Agda:setup.Cabal; 3.14.0.0/installed-17a5, 3.14.0.0 (constraint from maximum version of Cabal used by Setup.hs requires
Lifted from: - https://github.com/haskell/hackage-server/issues/1173 `cabal v1-install` chokes on the `hackage-cli` executable in the linking phase. @gbaz suspects it is because `hackage-cli` defines an internal library (`cabal-revisions`): ``` $ cabal get...
In a situation where everything is up to date, an invocation of `cabal install` might just symlink executables that it has not created and that do not exist. In the...
`cabal-3.12.1.0 install` wrongly ignores `--program-suffix` when checking whether exe is already installed: ``` $ cabal-3.12.1.0 install hello ... Symlinking 'hello' to '/Users/test/.local/bin/hello' $ cabal-3.12.1.0 install hello --program-suffix=-new ... Error: [Cabal-7149]...
Blocked on: - [x] https://github.com/Lysxia/generic-data/issues/70 - [x] https://github.com/haskell/primitive/issues/420