Wildcards 2025 - #177

Merged

Kakadu merged 11 commits into

PLTools:masterfrom

Kakadu:wildcards-2025-forPR

Oct 9, 2025

Commits on Oct 9, 2025

[wc] ppx_wildcard
Kakadu
committed
a8f8da7
[wc] Wildcards in =/= implementation
Kakadu
committed
8c0ebac
[wc] Wildcards in =/= tests
Kakadu
committed
f5ea071
update tests for nonrecursive fully abstract types
Kakadu
committed
9caa82f
Magic fix for disequality simplify exception.

Peter Lozov
authored and
Kakadu
committed
5fb9303
Apply OCamlformat 0.26.1
Kakadu
committed
bbd083b
Promote tests
Kakadu
committed
0976966
[chore] Promote tests
Kakadu
committed
06e48e6
Demo where __ =/= term with __ inside
Kakadu
committed
fa9fc9b
A few wildcard tests
Kakadu
committed
06c1beb
tests: Disable -dsource in regression_ppx
Kakadu
committed
98e15bb