Repository navigation

Remove OCaml attribute aliases and the features only OCaml used - #8928

Merged

cknitt merged 5 commits into

remove-ocaml-attribute-aliases

Oct 20, 2026

Merged

Remove OCaml attribute aliases and the features only OCaml used#8928
cknitt merged 5 commits into
masterfrom
remove-ocaml-attribute-aliases

Commits on Oct 20, 2026
- Remove OCaml attribute aliases and the features only OCaml used
  
  cknitt
  and
  claude
  committed
  19f46a9
- Read warning and error attributes only by their bare names
  
  cknitt
  and
  claude
  committed
  25b9055
- Ignore `@boxed` and `@deprecated_mutable` like any unknown attribute
  
  cknitt
  and
  claude
  committed
  faaa6bd
- Reject removed `ocaml.*` spellings before external PPXs and bump the CMI magic
  
  cknitt
  and
  claude
  committed
  d0055c9
- Remove redundant tests for the removed OCaml spellings
  
  cknitt
  and
  claude
  committed
  5294809