0.2.6 — 2026-09-10

Released: nash-cli 0.2.6, nash-ast 0.7.0, nash-can 0.6.0, nash-constrain 0.4.0, nash-driver 0.4.0, nash-nitpick 0.2.0, nash-parse 0.5.0, nash-solve 0.4.0, nash-source 0.6.0

Minor changes

• nash-cli, nash-driver, nash-nitpick — c4b63fd Add Maranget exhaustiveness and redundancy checking across declarations,
  trait defaults, impl methods and nested expressions. Render missing-pattern
  examples and handle trait-overloaded literals conservatively.
  Reject modules with incomplete or redundant patterns after type solving,
  before publishing interfaces or retaining solved modules for dependents. — Thanks @MicroProofs!
• nash-cli, nash-ast, nash-can, nash-constrain, nash-driver, nash-parse, nash-solve, nash-source — adf37e3 Replace row polymorphism with nominal record aliases. Resolve literals by
  visible field sets, preserve declaration-order metadata, and resolve record
  operations before generalization. Support qualified lowercase type names and
  alias constructor functions while preserving trait-based literals and
  representation predicates.
  Use the complete primitive type inventory under the Builtin qualifier and
  represent unit uniformly as a named builtin type throughout inference and
  instance selection.
  Preserve labeled constructor metadata, support construction and pattern sugar,
  and permit field projection only through visible single-constructor unions.
  Keep parenthesized record literals as positional constructor arguments. — Thanks @MicroProofs!

Dependency updates

• nash-cli: nash-driver@0.4.0
• nash-ast: nash-source@0.6.0
• nash-can: nash-ast@0.7.0, nash-parse@0.5.0, nash-source@0.6.0
• nash-constrain: nash-ast@0.7.0
• nash-driver: nash-ast@0.7.0, nash-can@0.6.0, nash-constrain@0.4.0, nash-nitpick@0.2.0, nash-parse@0.5.0, nash-solve@0.4.0, nash-source@0.6.0
• nash-nitpick: nash-ast@0.7.0
• nash-parse: nash-source@0.6.0
• nash-solve: nash-ast@0.7.0, nash-can@0.6.0, nash-constrain@0.4.0, nash-parse@0.5.0, nash-source@0.6.0