package catala
Compiler and library for the literate programming language for tax code specification
Install
Dune Dependency
Authors
Maintainers
Sources
0.10.0.tar.gz
md5=5abd76e8c51a47670645e91b21b57fc5
sha512=9c6fbe50c0b5a60566e877eeddadca0a339e2ce35deb5c1beceb03bc40eb6af2d519313e71859d88645b53fad591d4fa5288c633b185c9d765603da0f5b7dd7b
doc/catala.dcalc/Dcalc/Invariants/index.html
Module Dcalc.Invariants
Source
This file makes explicit few structural invariants of the dcalc asbtract syntax tree. Those invariants have been checked on all tests and examples of catala. The behavior of the compiler on programs that don't follow those invariant in undefined.
Check all invariants. Return true if all the invariants are correct. Print errors messages for each unsucessfull invariants. Here are all the invariants checked:
invariant_default_no_arrow
check no default term has a function type.invariant_no_partial_evaluation
check there is no partial function.invariant_no_return_a_function
check no function return a function.invariant_app_inversion
: if the term is an function application, then there is only 6 possibility : it is a let binding, it is an operator application, it is an variable application, it is a struct access function application (sub-scope call), it is a operator application with trace, or an external function.invariant_match_inversion
: if a term is a match, then every branch is an function abstraction.invariant_typing_default
: the type TDefault can only appear in some positions.
The function prints as a side effect the different errors.
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>