Update C# grade to .NET 10 - #146

Open

sebgod wants to merge 25 commits into

Mercury-Language:masterfrom

sebgod:dotnet10-csharp

Commits on Jun 14, 2026

Probe for the dotnet SDK in addition to stand-alone csc and mcs.
sebgod
committed
2a4bcd0
Build C# linked targets via a generated csproj and `dotnet build'.
sebgod
committed
11d3279
Tighten Mercury syntax in csproj-based csharp linking helpers.
sebgod
committed
7c6b82c
Restrict csproj_content/8 to the csharp linked-target inst.
sebgod
committed
8faef37
Drop the legacy XML comment text and modernise io.file.m for .NET 10.
sebgod
committed
6cc4d59
Implement math.fma, env-var iteration and memory stats for the C# backend.
sebgod
committed
522ddc2
Implement tuple_arity, tuple_arg and compare_representation for the C# backend.
sebgod
committed
8cffb0c
Document the .NET 10 / C# 14 transition for the csharp grade.
sebgod
committed
76830fb
Fix the csproj-based csharp linker on native Windows.
sebgod
committed
f2038b9
Add `--csharp-aot' to opt csharp executables into Native AOT publishing.
sebgod
committed
5778d00
Replace System.Reflection-based RTTI in csharp DU walks with an MR_DuTerm interface.
sebgod
committed
07c9912
Mark mer_std as Native-AOT-compatible.
sebgod
committed
0d15a18
Fix C# binary stream dual-buffering bug in io module.

sebgod
and
Copilot
committed
df9e14d
Use lowercase ""r"" round-trip format for C# float_to_string.

sebgod
and
Copilot
committed
deab72b
Replace exception-based surrogate handling with guards in C# string ops.

sebgod
and
Copilot
committed
159bf94
Remove 5 now-passing tests from EXPECT_FAIL_TESTS.csharp.

sebgod
and
Copilot
committed
4604041
Fix C# InvalidCastException for multi/nondet delegate casts

sebgod
and
Copilot
committed
b037622
Replace null with Array.Empty<object>() for empty C# arrays

sebgod
and
Copilot
committed
ff265fe
Fix C# InvalidCastException for typed arrays from Array.Empty<object>()

sebgod
and
Copilot
committed
c8ca9a9
Remove 3 now-passing tests from EXPECT_FAIL_TESTS.csharp

sebgod
and
Copilot
committed
3c1088d
Fix C# DST handling and Errors.SORRY/fatal_error output

sebgod
and
Copilot
committed
cbea8ba
Emit C# record class for Mercury DU types

sebgod
and
Copilot
committed
34bcfdc
Remove --csharp-compiler / --csc plumbing.
sebgod
committed
0247cd3
Multi-target the csharp libgrade against net10.0 + netstandard2.0.
sebgod
committed
ca0d4ec
Use forward slashes when emitting Mercury subdirectory paths.
sebgod
committed
77b67c8

Navigation Menu

Uh oh!

Update C# grade to .NET 10 - #146

Update C# grade to .NET 10#146
sebgod wants to merge 25 commits into
Mercury-Language:masterfrom
sebgod:dotnet10-csharp

Commits on Jun 14, 2026

Probe for the dotnet SDK in addition to stand-alone csc and mcs.

Build C# linked targets via a generated csproj and `dotnet build'.

Tighten Mercury syntax in csproj-based csharp linking helpers.

Restrict csproj_content/8 to the csharp linked-target inst.

Drop the legacy XML comment text and modernise io.file.m for .NET 10.

Implement math.fma, env-var iteration and memory stats for the C# backend.

Implement tuple_arity, tuple_arg and compare_representation for the C# backend.

Document the .NET 10 / C# 14 transition for the csharp grade.

Fix the csproj-based csharp linker on native Windows.

Add `--csharp-aot' to opt csharp executables into Native AOT publishing.

Replace System.Reflection-based RTTI in csharp DU walks with an MR_DuTerm interface.

Mark mer_std as Native-AOT-compatible.

Fix C# binary stream dual-buffering bug in io module.

Use lowercase ""r"" round-trip format for C# float_to_string.

Replace exception-based surrogate handling with guards in C# string ops.

Remove 5 now-passing tests from EXPECT_FAIL_TESTS.csharp.

Fix C# InvalidCastException for multi/nondet delegate casts

Replace null with Array.Empty<object>() for empty C# arrays

Fix C# InvalidCastException for typed arrays from Array.Empty<object>()

Remove 3 now-passing tests from EXPECT_FAIL_TESTS.csharp

Fix C# DST handling and Errors.SORRY/fatal_error output

Emit C# record class for Mercury DU types

Remove --csharp-compiler / --csc plumbing.

Multi-target the csharp libgrade against net10.0 + netstandard2.0.

Use forward slashes when emitting Mercury subdirectory paths.