Andreas Abel
Andreas Abel
We have currently ```agda data Delay {ℓ} (A : Set ℓ) (i : Size) : Set ℓ where ``` but I think swapping `A` and `i` would be more natural;...
Following the structure for non-indexed containers. Putting this out for a first review. I also added an `Example` development: multi-sorted algebras. This should be refactored after also adding a setoid...
There is a `Show` instance for `HUnitFailure` which gives the _Haskell_ representation of this exception. So far so good. I am looking for a function that _pretty-prints_ the exception, for...
Cabal-3.6.3.0 isn't listed under https://downloads.haskell.org/~cabal/, is this intended?
Testsuite: remove file generated by autoheader. After running the cabal-testsuite, I found changes in this file, so I suppose it is a generated file and can (and should) be removed...
Using GHC 9.2.3 and cabal master: ``` $ cabal haddock --haddock-for-hackage --enable-doc Warning: this is a debug build of cabal-install with assertions enabled. Resolving dependencies... Build profile: -w ghc-9.2.3 -O0...
Phenomenon: The following incantation works on macOS with `cabal-install` 3.6, but not with the version from `master`: ``` $ brew install cpp $ cabal-3.6 install -w ghc-8.8.4 fudgets ``` With...
Fetching a `source-repository-package` seems to make a full clone of the repo: ``` $ cabal --version cabal-install version 3.5.0.0 compiled using version 3.5.0.0 of the Cabal library $ cat cabal.project...
If you sit in a local project directory and `cabal install` a remote package, you cannot give its version suffix unless you also pass `--ignore-project`. Reproducer: 1. change to a...
Lifted from: https://github.com/haskell/cabal/pull/8309#issuecomment-1192407285 The commands listed under 5.2 of the rtd docs appear in no recognizable order. Suggestions: break 5.2 into several sections grouping commands by theme. - global command:...