Module semantic

Semantic resolver (name resolution, type checking and lowering to RQ)

Modules

ast_expand

reporting

Structs

ResolverOptions

Constants

NS_DEFAULT_DB

NS_GENERIC

NS_INFER

NS_INFER_MODULE

NS_MAIN

NS_PARAM

NS_QUERY_DEF

NS_SELF

NS_STD

NS_THAT

NS_THIS

Functions

eval

is_ident_or_func_call

load_std_lib

Preferred way of injecting std module.

lower_to_ir

Convert a resolved expression at path main_path relative to root_mod into RQ and make sure that:

resolve

Runs semantic analysis on the query.

resolve_and_lower

Runs semantic analysis on the query and lowers PL to RQ.

static_eval

write_pl

Write a PL IR to string.