Andreas Abel

Results 584 issues of Andreas Abel

I am trying to reverse-engineer correct bounds for `cabal-db` `master` to build. Seems we need: - `optparse-applicative < 0.14` - `Cabal < 2` - `base < 4.9` I applied these...

... and briefly summarize the changes wrt. the last release ...

Build fails, likely there is a missing upper bound on `haskell-src-exts`. ``` $ cabal install hothasktags Resolving dependencies... Build profile: -w ghc-9.0.1 -O1 In order, the following will be built...

### Description Building statically linked executables with GHC 9.4 fails under `ubuntu-22.04` with a linker error ("undefined reference to '__xmknod'"), when the same workflow succeeds under `ubuntu-20.04`. `xmknod` seems to...

Area: Haskell
OS: Ubuntu
investigate
bug report

These warnings should be addressed at some point: ``` src/Test/QuickCheck/Property.hs:220:3: warning: [-Wnoncanonical-monad-instances] Noncanonical ‘pure = return’ definition detected in the instance declaration for ‘Applicative Rose’. Move definition from ‘return’ to...

Applies to ver. 2.8.1 ``` haskell {-# LANGUAGE TemplateHaskell #-} import Test.QuickCheck import Test.QuickCheck.All {- prop_old_freeVars_Term conf x = True -} -- Template Haskell hack to make the following $quickCheckAll...

bug

Search for "[a] -> Maybe a" and then press "Next Page". It briefly flashes "Loading..." but then goes back to be the "Next Page" button. However, nothing else changes, i.e.,...

bug

It will delete the caches of the base branch, not the PR branch. Needs fixing! I added an alert in comments that this example doesn't work. Evidence here: https://github.com/agda/agda/actions/runs/4025940394/jobs/6919801891#step:3:5 (Note:...

triage

Thanks for `actionlint`, made my life so much better! Here is problem with checking the `outputs` of a step: The `actions/cache` action has output `cache-primary-key`, but I misspelled it as...

``` tests/DListProperties.hs:70:31: warning: [GHC-63394] [-Wx-partial] In the use of ‘head’ (imported from Data.List, but defined in GHC.List): "This is a partial function, it throws an error on empty lists. Use...