search

tweag / simple-smt

BSD 3-Clause "New" or "Revised" License
0 stars 0 forks source link

Format checker #6

Closed gabrielhdt closed 1 year ago

gabrielhdt commented 1 year ago

Run a CI checking that the code is formatted with Ormolu.

qaristote commented 1 year ago

Very needed, thanks ! But this is only formatting the code inside Z3/, right ? Any reason for not extending it to the whole repository ?

gabrielhdt commented 1 year ago

I did not check how different the code was from the branch yav/master so I just did that to minimise the diff (so it's easier to compare and merge), but if we don't care, we can very well extend formatting to the whole repository.

gabrielhdt commented 1 year ago

If we decide to not make a fork, I'll set the CI to check all haskell files.

qaristote commented 1 year ago

Oh I see. The diff with yav/master won't get bigger if we extend the formatting to the whole repo because I started by splitting its only file into several files. So I think you can go ahead and do that, and we can always only merge this to master and not submit_for_discussion if necessary.