mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-20 00:41:05 +03:00
fea01cfe4c
This uses the same disambiguation mechanism put in place for structures, calling the typer on individual rules on the desugared AST to propagate types, in order to resolve ambiguous operators like `+` to their strongly typed counterparts (`+!`, `+.`, `+$`, `+@`, `+$`) in the translation to scopelang. The patch includes some normalisation of the definition of all the operators, and classifies them based on their typing policy instead of their arity. It also adds a little more flexibility: - a couple new operators, like `-` on date and duration - optional type annotation on some aggregation constructions The `Shared_ast` lib is also lightly restructured, with the `Expr` module split into `Type`, `Operator` and `Expr`. |
||
|---|---|---|
| .. | ||
| definitions.ml | ||
| dune | ||
| expr.ml | ||
| expr.mli | ||
| operator.ml | ||
| operator.mli | ||
| print.ml | ||
| print.mli | ||
| program.ml | ||
| program.mli | ||
| scope.ml | ||
| scope.mli | ||
| shared_ast.ml | ||
| shared_ast.mld | ||
| type.ml | ||
| type.mli | ||
| typing.ml | ||
| typing.mli | ||
| var.ml | ||
| var.mli | ||