<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> I think camlp5 predates camlp4. They probably tried to fix it by decrementing the number and eventually planned to get camlp0 — the camlp to end all camlp&#39;s.<br />But something went wrong with that plan. Maybe someone forgot that `Stdlib.decr` works on `int ref` and couldn&#39;t figure out why their decrement code didn&#39;t compile.</p>
Reply