#1 Broken example

Closed on February 3, 2026
Madx on February 2, 2026

Hello,

I believe the example in the repo is broken, and the version in the blog can be written a bit more elegantly.

Madx

Madx added a change on February 2, 2026
JCS2SUISCBQVDGEYAU7JQ6US5VVIY75OPA23QVP7E6QOJWYFW2KAC
main
pmeunier on February 3, 2026

Nice job! Thanks.

There is a blank line on line 8, possibly a missing (setq-default whitespace-style '(face tabs trailing space-before-tab empty tab space-after-tab)) somewhere?

Or maybe a more radical:

(use-package ocamlformat
  :custom (ocamlformat-enable 'enable-outside-detected-project)
  :hook (before-save . ocamlformat-before-save)
  )

Or both.

Anyway, pijul rec --amend would fix it. Congrats on your first Pijul patch btw.

Madx added a change on February 3, 2026
This change could not be retrieved at the moment
HINGWP4WVJG3QKXCPT4DTJ5OPSDHGUNETBUHMWMZVDMNCDRZY4JQC
Madx on February 3, 2026

OK, I ocamlformated and pushed the change.

I’ve kept the new line for clarity, as in the current version of the example.

pmeunier on February 3, 2026

Yay! I was only talking about the spaces, not the line itself. Blank lines are cool, but the extra space characters are a good recipe for future conflicts.

pmeunier closed this discussion on February 3, 2026
pmeunier on February 3, 2026

(also, I suggest running pijul key prove at some point)