Repository navigation

Wildcards 2025 - #177

Merged

Kakadu merged 11 commits into

PLTools:masterfrom

Kakadu:wildcards-2025-forPR

Oct 9, 2025

Merged

Wildcards 2025 #177
Kakadu merged 11 commits into
PLTools:masterfrom
Kakadu:wildcards-2025-forPR

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