Program-checking
Static checks on Leo programs.
These check the static semantic requirements on Leo programs.
They include type checking,
function (non-)recursion, and
struct type (non-)recursion.
They also ensure that the program has a main function.
Subtopics
- Api
- Fixtype of program APIs
- Lookup-main-function
- Look up the main function in a file.
- Api+senv
- Fixtype of pairs consisting of
a program API and a static environment.
- Check-program
- Check a program.
- Api+senv-result
- Fixtype of error and
pairs consisting of a program API and a static environment.
- Api-result
- Fixtype of errors and program APIs
