catala/compiler/verification
Louis Gesbert 2823795f9f AST change: more specific application
As part of making tuples first-class citizens, expliciting the arity upon
function application was needed (so that a function of two args can
transparently -- in the surface language -- be applied to either two arguments
or a pair).

It was decided to actually explicit the whole type of arguments because the cost
is the same, and this is consistent with lambda definitions.

A related change done here is the replacement of the `EOp` node for operators by
an "operator application" `EAppOp` node, enforcing a pervasive invariant that
operators are always directly applied. This makes matches terser, and highlights
the fact that the treatment of operator application is almost always different
from function application in practice.
2023-12-19 17:27:40 +01:00
..
conditions.ml AST change: more specific application 2023-12-19 17:27:40 +01:00
conditions.mli Rework and normalise the Marked interface 2023-05-17 17:37:00 +02:00
dune Rename utils to catala_utils 2022-11-28 16:38:09 +01:00
globals.ml Refacter the main Driver module 2023-07-03 16:42:54 +02:00
globals.mli Refacter the main Driver module 2023-07-03 16:42:54 +02:00
io.ml Add some helper functions in a wrapper Map module 2023-07-12 11:51:15 +02:00
io.mli Merge branch 'afromher_verif' into afromher_334 2022-11-16 22:16:11 +01:00
solver.ml Messages renamed to Message (lighter syntax) 2023-06-13 11:50:56 +02:00
solver.mli Leverage the shared AST: big cleanup (part I) 2022-08-22 19:28:21 +02:00
verification.mld Documentation pass 2022-01-19 10:54:16 +01:00
z3backend.dummy.ml Messages renamed to Message (lighter syntax) 2023-06-13 11:50:56 +02:00
z3backend.mli Big reformatting 2022-03-08 15:03:14 +01:00
z3backend.real.ml AST change: more specific application 2023-12-19 17:27:40 +01:00