dunet

What's Changed

• Binary or patterns are now also checked for exhaustiveness. For example:

[Union]
partial record Shape
{
    partial record Circle(double Radius);
    partial record Rectangle(double Length, double Width);
    partial record Square(double Length);
    partial record Triangle(double Base, double Height);
}

Shape? shape = null;

var sides = shape switch...

What's Changed

• Some property patterns are now also checked for exhaustiveness. For example:

[Union]
partial record Shape
{
    partial record Circle(double Radius);
    partial record Rectangle(double Length, double Width);
    partial record Triangle(double Base, double Height);
}

Shape shape = new Circle(3.14);

var area = shape switch
{
    // This is now consider...

What's Changed

• Fixed an issue where subsequent switch expressions in the same file were not being properly checked for exhaustiveness by @domn1995 in https://github.com/domn1995/dunet/pull/364

Packages

https://www.nuget.org/packages/Dunet/1.13.1

Full Changelog

https://github.com/domn1995/dunet/compare/v1.13.0...v1.13.1

What's Changed

Switch expressions on union types are now checked for exhaustiveness. For example:

using Dunet;
using static Option<int>;

[Union]
partial record Option<T>
{
    partial record Some(T Value);
    partial record None;
}

Option<int> option = new Some(42);

// Does not emit an exhaustiveness warning since all union variants are handled.
var message = optio...

What's Changed

• Empty variants are now ignored when generating implicit conversions @domn1995 in https://github.com/domn1995/dunet/pull/353

[Union]
public partial record Option<T>
{
    // An implicit conversion from `T` to `Some` is now generated.
    public partial record Some(T Value);
    public partial record None;
}

Packages

https://www.nuget.org/packages...