mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-20 00:41:05 +03:00
513647cd32
The AST structures track annotations (e.g., at the moment, source code position information) in a lot of places. This patch tidies up a bit and removes some duplication, ensuring a single level of annotation wrapping at each AST recursion level. This will be important when adding type information in these annotations, because there will be consitency constraints to be ensured and duplication is a likely source of mistakes. |
||
|---|---|---|
| .. | ||
| conditions.ml | ||
| conditions.mli | ||
| dune | ||
| io.ml | ||
| io.mli | ||
| solver.ml | ||
| solver.mli | ||
| verification.mld | ||
| z3backend.dummy.ml | ||
| z3backend.mli | ||
| z3backend.real.ml | ||