Andreas Abel

Allow newer QuickCheck, bump Haskell CI to GHC 9.10.1

1

- https://github.com/commercialhaskell/stackage/issues/7391 CI for GHC 7 needs to be dropped as it is no longer supported by Haskell-CI. CI running here: https://github.com/andreasabel/dlist/pull/2

Allow newer containers and QuickCheck, bump CI to GHC 9.10

1

- https://github.com/commercialhaskell/stackage/issues/7391

lens-5.3 out of bounds for Chart-cairo

1

https://github.com/commercialhaskell/stackage/issues/7408 - https://github.com/commercialhaskell/stackage/issues/7408

- https://github.com/commercialhaskell/stackage/issues/7391

It seems that the testsuite is looking for the generated `htfpp` in very specific locations only. ``` Building test suite 'TestHTF' for HTF-0.15.0.2... gfind: ‘/Users/abel/project/open-source/HTF/.stack-work/dist/x86_64-osx’: No such file or directory...

Just like GHC and Cabal and Stack and Alex have it. Convenient for scripts.

Replace record directive "eta-equality" by "no-eta-equality;pattern"

7

Replace record directive `eta-equality` by `no-eta-equality; pattern`. Future Agda might not allow unguarded record types with eta-equality in safe mode anymore. So we switch eta off here, but make the...

Deploy doc rendering for v2.1

2

From https://agda.zulipchat.com/#narrow/stream/259646-announce/topic/Standard.20library.20v2.2E1/near/455502043 > When will https://agda.github.io/agda-stdlib/v2.1/ be available? NB: Listing the docs under https://agda.github.io/agda-stdlib will probably remain a manual process, but pushing the docs to subfolder _tag_ for a new...

Allow custom compilation of defined types

9

It makes sense to compile abstract definitions to arbitrary Haskell code. (This example is not super clever.) ```agda abstract record Pointer : Set where constructor mkPointer field thePointer : Nat...