Release-Candidate

Windows: Win32 >= 2.12.0.0 breaks foundation

5

Win32 changed to explicit exports with version 2.12.0.0 https://github.com/haskell/win32/releases/tag/v2.12.0.0 https://github.com/haskell/win32/commit/fbc49f8bb694a276da49a70166bed1e6a85b9cf4#diff-3c294c5dd8b170586cad01c72d6ffd35225608811de64b538677cfde2c0b7d64 which breaks the usage of the C bindings. ## Solution use the exported functions without `c_` ## Error message ```...

Does not color sexp after `#;` as comment

2

A S-expression following `#;` is not colored as a comment, but is recognized as comment by the LSP. It does not matter if the `#;` is on the same line...

Control.Algebra contrib library? addition of VectorSpace (and related) unlawful versions and theorems/lemmas

15

I'd like to add some verified interfaces (VectorSpace and related) and also unverified versions of the existing ones (`Group`, `Ring`, `Field`, ...) as unverified versions would also be usable with...

Make it easier to align the binary and prelude versions

8

When using the latest prelude, I get to following error on MacOS Sonoma 14.0 on a M1 Machine: ```text From load at implicit location Caused by: 0: From load at...

Conan toolchain does not work with Conan 2, but works with Conan 1.61.0

5

First: the new Conan toolchain works with Conan 1.61.0. When trying the new Conan toolchain with Conan 2, I've stumbled upon the following problems and their solutions/hacks: - `conan_init` does...

Extension host throws exception "Named export 'rgPath' not found." on RISC-V64 (installed by Open Remote - SSH)

17

Happens with both VSCodium 1.95.0.24287-insider and 1.94.2.24286. Client is MacOS ARM64, server is RISC-V64 Armbian/Debian Sid Linux. Log entry - the full log file for 1.95.0.24287-insider is attached [dda161016e115d6fa0fd302d2609be345b578a8b.log](https://github.com/user-attachments/files/17361979/dda161016e115d6fa0fd302d2609be345b578a8b.log): ```text...

### Xmake Version 2.9.5+20240914 ### Operating System Version and Architecture MacOS Sequoia 15.0.1 ### Describe Bug Compiling a minimal C file like `test.c`: ```c int main(void) { return 0; }...

RISC-V64: command line argument --riscvfloat does not work

14

The files generated by `./c3c --target linux-riscv64 --riscvfloat=double compile` use the `soft-float` ABI instead of the `double-float` ABI on RISC-V64. This leads to the following errors: ```shell ./c3c --target linux-riscv64...

ISA: aarch64 vs arm64

1

### Component agent ### Describe the bug The Woodpecker agent registers itself as running on `linux/aarch64` ```json { "message":"starting Woodpecker agent with version 'next-0b34578923' and backend 'docker' using platform 'linux/aarch64'...

Remote extension host throws exception "Named export 'rgPath' not found."

2

I don't know if this is a problem of remote ssh or codium itself. Happens with both VSCodium 1.95.0.24287-insider and 1.94.2.24286. Client is MacOS ARM64, server is RISC-V64 Linux. Log...