Andreas Abel

Trying to build `master` with GHC 9.0 or 9.2 fails in the configuration phase (dependencies): - `relude` - `shellmet` (Why not use https://github.com/gregwebs/Shelly.hs ?)

Fix #159: exclude Win32-2.10/11

8

Fix #159: exclude Win32-2.10/11. `haskeline >= 0.7.2.3` fails to build with `Win32-2.10/11` because of duplicate definitions: ``` Ambiguous occurrence `c_WaitForSingleObject' It could refer to either `System.Win32.c_WaitForSingleObject', imported from `System.Win32' at...

`find` lives in `IO`, but nevertheless uses `unsafePerformIO`. https://github.com/bos/filemanip/blob/1ed1659a6459aeb66f4cec588ea1519bb6c26828/System/FilePath/Find.hs#L131 This leads to weird effects. E.g. I experienced that on Windows some warnings cause by `find` are printed to `stderr` only...

### Describe the bug Changelog says 5.2.0 (development), but it is released ### How to Reproduce Changelog says 5.2.0 (development), but it is released ### Expected behavior Changelog says 5.2.0...

Agda input `\<` should give `\langle` as first choice

1

I'd like `\` resolve to `\rangle` as first choices in the emacs mode. This has changed on master, presumably after: - #6077 (ping @mikeshulman) Not sure if this is the...

Internal error with `--no-load-primitives` and undefined `LEVEL` builtin

10

Agda crashes if there is no `LEVEL` builtin but we write level polymorphic type signatures. ```agda {-# OPTIONS --no-load-primitives #-} {-# BUILTIN TYPE Type #-} {-# BUILTIN PROP Prop #-}...

Fix #6168 by using `getBuiltin` in `levelType`. Proper error over crash.

2

Fix #6168 by using `getBuiltin` in `levelType`. Proper error over crash.

Helper function abstracts over module parameters, with sometimes disastrous consequences for printing

4

Helper function now abstracts over module parameters, with disastrous consequences for printing

Unify `let` and `where`

5

Lunch discussion 2022-09-30: We could interpret `Gamma |- ... let defs in e` as ```agda module M Gamma where defs Gamma |- ... open M Gamma in e ``` This...

Stack CI times out for Windows

1

Lifted from https://github.com/agda/agda/issues/6116#issuecomment-1253857436 Breakage occurred _before_ merging changes to `stack-9.2.4.yaml` in course of #6116: https://github.com/agda/agda/actions/runs/3083630490/jobs/4984952651