lambdapi icon indicating copy to clipboard operation
lambdapi copied to clipboard

ocamlformat is out of date

Open gabrielhdt opened this issue 3 years ago • 3 comments

running dune build @fmt prints

ocamlformat: Error while parsing .ocamlformat:
             For option "version": expecting "0.19.0" but got "0.15.0"

gabrielhdt avatar Nov 23 '21 07:11 gabrielhdt

ocamlformat moved to 0.20.0

fblanqui avatar Dec 07 '21 16:12 fblanqui

We must change the line https://github.com/Deducteam/lambdapi/blob/0f815a939b4b56520f77a214eb3ad1a47c9b8dd3/.ocamlformat#L1

gabrielhdt avatar Dec 16 '21 08:12 gabrielhdt

Right. But ocamlformat is not used yet. In fact, there should be no such file. Perhaps we could use it after your PR.

fblanqui avatar Dec 16 '21 10:12 fblanqui

@gabrielhdt What is the effect of having an .ocamlformat file?

fblanqui avatar Apr 25 '24 13:04 fblanqui