Module tvix_eval::compiler

source Β·
Expand description

This module implements a compiler for compiling the rnix AST representation to Tvix bytecode.

A note on unwrap(): This module contains a lot of calls to unwrap() or expect(...) on data structures returned by rnix. The reason for this is that rnix uses the same data structures to represent broken and correct ASTs, so all typed AST variants have the ability to represent an incorrect node.

However, at the time that the AST is passed to the compiler we have verified that rnix considers the code to be correct, so all variants are fulfilled. In cases where the invariant is guaranteed by the code in this module, debug_assert! has been used to catch mistakes early during development.

Modules§

  • bindings πŸ”’
    This module implements compiler logic related to name/value binding definitions (that is, attribute sets and let-expressions).
  • import πŸ”’
    This module implements the Nix language’s import feature, which is exposed as a builtin in the Nix language.
  • optimiser πŸ”’
    Helper functions for extending the compiler with more linter-like functionality while compiling (i.e. smarter warnings).
  • scope πŸ”’
    This module implements the scope-tracking logic of the Tvix compiler.

Structs§

  • Represents the result of compiling a piece of Nix code. If compilation was successful, the resulting bytecode can be passed to the VM.
  • LambdaCtx πŸ”’
    Represents the lambda currently being compiled.

Enums§

  • TrackedFormal πŸ”’
    When compiling functions with an argument attribute set destructuring pattern, we need to do multiple passes over the declared formal arguments when setting up their local bindings (similarly to let … in expressions and recursive attribute sets. For this purpose, this struct is used to represent the two kinds of formal arguments:

Constants§

  • GLOBAL_BUILTINS πŸ”’
    Set of builtins that (if they exist) should be made available in the global scope, meaning that they can be accessed not just through builtins.<name>, but directly as <name>. This is not configurable, it is based on what Nix 2.3 exposed.

Functions§

  • Create a delayed source-only builtin compilation, for a builtin which is written in Nix code.
  • Convert the provided ast::Attr into a statically known string if possible.
  • expr_static_str πŸ”’
    Convert a non-dynamic string expression to a string if possible.
  • Prepare the full set of globals available in evaluated code. These are constructed from the set of builtins supplied by the caller, which are made available globally under the builtins identifier.

Type Aliases§

  • The map of globally available functions and other values that should implicitly be resolvable in the global scope.