Andreas Abel

Coinductive records are also treated as inductive by termination checker.

1

```haskell -- 2014-01-09 -- Treating a type as both inductive and coinductive bears trouble… data R -(i : Size) { delay (force : [j < i] -> R j) }...

Project moved to github.com/Vlix/http-types

1

Is this project still maintained? Some PRs and issue reports have not gotten a response in over 2 years.

Hereditary substitutions can be extended to disjunction and absurdity. I just recently understood how (although others understood before me). See http://www.cse.chalmers.se/~abela/projects.html#NormalizationIPL

Published as revision 1 of lifted-async-0.10.2.5.

Does cabal-3.10 impose `setup.Cabal < 3.12`?

36

When trying to make `cabal-3.10` build packages with custom setups on GHC 9.10.0 (alpha3), which ships with `Cabal-3.12`, cabal insists to build `Cabal-3.10.3.0`. If I try to force using the...

`PackageTests/NewBuild/CmdRun/Terminate` brittle, may fail on CI

9

The test `PackageTests/NewBuild/CmdRun/Terminate` has been caught to fail on CI. Maybe it has races? There was a previous attempt to fix this issue: - #8080 Ping @robx . https://github.com/haskell/cabal/runs/7945613288?check_suite_focus=true#step:17:35 ```...

`cabal install EXE --program-suffix=SUF` fails in copy step

2

Trying to install an executable (in this case, `cabal` itself) with `cabal` built from `master`: ```shell-session $ cabal install cabal-install --program-suffix=-new-check ... Building executable 'cabal' for cabal-install-3.9.0.0.. [1 of 1]...

One freeze-file per GHC version

11

There should be one freeze file per GHC version (like there is a build directory per GHC version in v2-cabal). Otherwise, freeze does not work as expected in a multi-GHC...

Feature request: `cabal check` warn about duplicate entries in `default-extensions` and `other-extensions`

1

From: https://github.com/haskell-hvr/cassava/commit/3f792495c1256dc2e3a503b4c5c4518dfce9c5d8#r141267172 Suggestions to improve `cabal check`: - warn about duplicates in `default-extensions` and `other-extensions` - warn if `other-extensions` repeats extensions from `default-extensions` In the presence of conditionals, this should...

Our CI suffers from cache thrashing

3

At this point in time, GH has evicted all our CI caches of our default branch except one: ``` $ gh actions-cache list --branch master Showing 1 of 1 cache...