Skip to content

Patternia v0.7.2 Release Note

Release Date: February 14, 2026
Version: 0.7.2

Overview

Patternia v0.7.2 is a diagnostics and correctness patch release focused on deterministic unreachable-case detection for alt<I>() case ordering. This release does not change runtime matching semantics.

Highlights

Deterministic Unreachable alt<I>() Diagnostics

  • Added compile-time detection for unreachable alt cases caused by ordering: when a plain alt<I>() appears first, any later alt<I>(...) case is now diagnosed as unreachable.
  • Pipeline case diagnostics are scoped to the newly appended case to avoid cascading duplicate errors on later checks.
  • The removed compact case-pack form performed full-pack unreachable checks consistently.

Diagnostics Infrastructure Improvements

  • Added internal alt-index extraction for both plain and guarded alt patterns.
  • Unified unreachable-case reporting under a dedicated diagnostic path in diagnostics.hpp.

Compatibility Notes

  • Source compatibility: unchanged.
  • API surface: unchanged.
  • Behavior change: compile-time diagnostics are stricter for deterministic unreachable alt<I>() ordering.

Implementation Notes (Selected)

  • include/ptn/core/common/diagnostics.hpp
  • Added alt-index analysis traits and unreachable-after-plain-alt checker.
  • Added targeted pipeline validation (new case only) and full-pack check.
  • include/ptn/core/dsl/ops.hpp
  • Legacy compact case-pack validation covered full alt-order reachability.