List of protected keyword in OCaml

Hmmm, the manual seems to suggest that keywords can’t be overridden, and while it’s true for almost all the keywords on the list, I know for a fact that one can rebind + and *

So, while

let and x y = x && y

Isn’t valid OCaml

let ( + ) x y = x +. y

Is valid OCaml

Is the manual incorrect in this section? Should a clause be added to explain some exceptions to this rule?

1 Like