Louis Gesbert

When none of the conditions apply, the message printed doesn't give much guidance. Ideally, the user should be able to retrace the situation to know where the hole in the...

Equality in the backends is at the moment handled by https://github.com/CatalaLang/catala/blob/master/compiler/lcalc/expand_op.ml , which ensures comptibility between the backends, but is a quick-and-dirty placeholder. Improvements desired: 1. lift the equality computation...

It makes sense in general that `clerk test` would attempt to test everything; but this is slightly inconsistent, and can cause problems when some targets don't enable certain backends `foo`...

Fun fact: space is not mandatory after multi-word keywords. For example, this is accepted: ```catala declaration scope Foo: output f content integer depends onx content integer scope Foo under conditiontrue:...