mirror of
https://github.com/CatalaLang/catala.git
synced 2024-11-08 07:51:43 +03:00
a56d95d790
This allows for retyping after monomorphisation: a new function just extracts the return type of the operator, without checking the operand types. Also to avoid multiplying function arguments around the typer, the flags have been gathered in a record that is included in the typing environment; it's ok to give them default values as long as these are the strictest. |
||
|---|---|---|
| .. | ||
| ast.ml | ||
| ast.mli | ||
| dependency.ml | ||
| dependency.mli | ||
| dune | ||
| from_desugared.ml | ||
| from_desugared.mli | ||
| print.ml | ||
| print.mli | ||
| scopelang.mld | ||