Skip to content

Extend the monoid guard to built-ins that carry a UDT fallback func - #619

Merged
eriknw merged 6 commits into
mainfrom
38-monoid-guard-udt-fallback-builtins
Nov 11, 2026
Merged

Extend the monoid guard to built-ins that carry a UDT fallback func#619
eriknw merged 6 commits into
mainfrom
38-monoid-guard-udt-fallback-builtins

Match the UDT monoid error by the record UDT's current name

d94407f
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar