Struct ezno_checker::TypeCheckOptions

pub struct TypeCheckOptions {
    pub constant_parameters: bool,
    pub allow_elided_arguments: bool,
    pub allow_extra_arguments: bool,
    pub constant_function_declarations: bool,
    pub strict_casts: bool,
    pub debug_types: bool,
    pub allow_cast: bool,
    pub store_expression_type_mappings: bool,
    pub parse_comments: bool,
    pub lsp_mode: bool,
}

Options for type checking TODO figure out compat with tsc

Fields

constant_parameters: bool

Parameters cannot be reassigned

allow_elided_arguments: bool

Missing arguments are treated as undefined (thats how JS works)

allow_extra_arguments: bool

Addition arguments are allowed

constant_function_declarations: bool

Given a function x, x = 2 is not possible

strict_casts: bool

Whether auto casts can happen. aka {} + 2 is allowed using the Object’s primitive default TODO maybe levels

debug_types: bool

Any types displayed will be in debug view

allow_cast: bool

Enables as casts

store_expression_type_mappings: bool

For post type check optimisations and

parse_comments: bool

TODO WIP

lsp_mode: bool

Allows partial syntax and collects other information for using in editor

Trait Implementations

impl Default for TypeCheckOptions

fn default() -> Self

Returns the “default value” for a type.