Module compute

This module is responsible of computing the semantic model of expressions and statements in the code, while type checking. It is invoked by queries for function bodies and other code blocks.

Structs

• ComputationContext
  Context for computing the semantic model of expression trees.
• Environment
  A state which contains all the variables defined at the current resolver until now, and a pointer to the parent environment.
• ExprAndId
  Expression with its id.
• NamedArg
  Named argument in a function call.
• PatternAndId

Enums

• ContextFunction

Functions

• compute_expr_block_semantic
  Computes the semantic model of an expression of type ast::ExprBlock.
• compute_expr_semantic
  Computes the semantic model of an expression. Note that this expr will always be “registered” in the arena, so it can be looked up in the language server.
• compute_named_argument_clause
  Computes the semantic model of an expression of type ast::Arg.
• compute_pattern_semantic
  Computes the semantic model of a pattern. Note that this pattern will always be “registered” in the arena, so it can be looked up in the language server.
• compute_root_expr
• compute_statement_semantic
  Computes the semantic model of a statement (excluding tail-expression).
• get_binded_expr_by_name
  Returns the requested variable from the environment if it exists. Returns None otherwise.
• get_statement_item_by_name
  Returns the requested item from the environment if it exists. Returns None otherwise.
• maybe_compute_expr_semantic
  Computes the semantic model of an expression, or returns a SemanticDiagnosticKind on error.
• resolve_variable_by_name
  Resolves a variable given a context and a simple name.

Type Aliases

• EnvVariables