Crate kind_driver

Source

Re-exports§

pub use resolution::get_unbound_variables;

Modules§

diagnostic
Errors created by the driver. All of them are related with paths and unbounded variables.
resolution
Transforms a single book into a book by reading it and it’s dependencies. In the end it returns a desugared book of all of the depedencies.
session
Describes a compilation session. It’s not the finished model because I want to change it to a query based compiler later.

Functions§

check_erasure_book
check_main_desugared_entry
check_main_entry
compile_book_to_hvm
compile_book_to_kdl
desugar_book
erase_book
eval_in_checker
execute_file
generate_checker
run_in_session
to_book
type_check_book