Skip to content

Latest commit

 

History

History
 
 

snapshots

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
eval
eval
 
 
expr
expr
 
 
file
file
 
 
formatting
formatting
 
 
fuzz_crash
fuzz_crash
 
 
if_then_else
if_then_else
 
 
issue
issue
 
 
lambda_capture
lambda_capture
 
 
match_expr
match_expr
 
 
nominal
nominal
 
 
numeric_edge_cases
numeric_edge_cases
 
 
pass
pass
 
 
platform
platform
 
 
plume_package
plume_package
 
 
primitive
primitive
 
 
records
records
 
 
repl
repl
 
 
some_folder
some_folder
 
 
statement
statement
 
 
type_checking
type_checking
 
 
where_clause
where_clause
 
 
001.md
001.md
 
 
README.md
README.md
 
 
add_var_with_spaces.md
add_var_with_spaces.md
 
 
annotations.md
annotations.md
 
 
app_header__nonempty_multiline.md
app_header__nonempty_multiline.md
 
 
app_header__nonempty_multiline__commented.md
app_header__nonempty_multiline__commented.md
 
 
app_header__nonempty_multiline__trailing_comma.md
app_header__nonempty_multiline__trailing_comma.md
 
 
app_header__platform_not_first.md
app_header__platform_not_first.md
 
 
app_header_nonempty_singleline.md
app_header_nonempty_singleline.md
 
 
binop_omnibus__single__no_spaces.md
binop_omnibus__single__no_spaces.md
 
 
binop_omnibus__singleline.md
binop_omnibus__singleline.md
 
 
binops.md
binops.md
 
 
bool_closure_type_check.md
bool_closure_type_check.md
 
 
bound_type_var_no_annotation.md
bound_type_var_no_annotation.md
 
 
can_basic_scoping.md
can_basic_scoping.md
 
 
can_dot_access.md
can_dot_access.md
 
 
can_dot_access_with_vars.md
can_dot_access_with_vars.md
 
 
can_frac_literal.md
can_frac_literal.md
 
 
can_hex_integer.md
can_hex_integer.md
 
 
can_import_comprehensive.md
can_import_comprehensive.md
 
 
can_import_exposing_types.md
can_import_exposing_types.md
 
 
can_import_json.md
can_import_json.md
 
 
can_import_nested_modules.md
can_import_nested_modules.md
 
 
can_import_type_annotations.md
can_import_type_annotations.md
 
 
can_import_unresolved_qualified.md
can_import_unresolved_qualified.md
 
 
can_import_with_alias.md
can_import_with_alias.md
 
 
can_list_first_concrete.md
can_list_first_concrete.md
 
 
can_list_heterogeneous.md
can_list_heterogeneous.md
 
 
can_list_mismatch_then_nested_error.md
can_list_mismatch_then_nested_error.md
 
 
can_list_multiline_mismatch.md
can_list_multiline_mismatch.md
 
 
can_list_nested_heterogeneous.md
can_list_nested_heterogeneous.md
 
 
can_list_number_doesnt_fit.md
can_list_number_doesnt_fit.md
 
 
can_list_rest_types.md
can_list_rest_types.md
 
 
can_list_triple_nested_heterogeneous.md
can_list_triple_nested_heterogeneous.md
 
 
can_list_two_elements.md
can_list_two_elements.md
 
 
can_nested_heterogeneous_lists.md
can_nested_heterogeneous_lists.md
 
 
can_two_decls.md
can_two_decls.md
 
 
can_var_scoping_invalid_top_level.md
can_var_scoping_invalid_top_level.md
 
 
can_var_scoping_regular_var.md
can_var_scoping_regular_var.md
 
 
can_var_scoping_var_idents.md
can_var_scoping_var_idents.md
 
 
can_var_scoping_var_redeclaration.md
can_var_scoping_var_redeclaration.md
 
 
crash_and_ellipsis_test.md
crash_and_ellipsis_test.md
 
 
def_simple_with_annotation.md
def_simple_with_annotation.md
 
 
effectful_with_effectful_annotation.md
effectful_with_effectful_annotation.md
 
 
exposed_items_test.md
exposed_items_test.md
 
 
expr_ident_simple.md
expr_ident_simple.md
 
 
expr_if_missing_else.md
expr_if_missing_else.md
 
 
expr_int_invalid.md
expr_int_invalid.md
 
 
expr_int_negative.md
expr_int_negative.md
 
 
expr_int_simple.md
expr_int_simple.md
 
 
expr_no_space_dot_int.md
expr_no_space_dot_int.md
 
 
external_decl_lookup.md
external_decl_lookup.md
 
 
external_lookup_expr.md
external_lookup_expr.md
 
 
fib_module.md
fib_module.md
 
 
file_multiple_type_decls.md
file_multiple_type_decls.md
 
 
function_no_annotation.md
function_no_annotation.md
 
 
header_expected_open_bracket.md
header_expected_open_bracket.md
 
 
hello_world.md
hello_world.md
 
 
hello_world.roc
hello_world.roc
 
 
hello_world_with_block.md
hello_world_with_block.md
 
 
import_exposing_alias.md
import_exposing_alias.md
 
 
import_exposing_basic.md
import_exposing_basic.md
 
 
lambda_annotation_mismatch_error.md
lambda_annotation_mismatch_error.md
 
 
lambda_currying_constraint.md
lambda_currying_constraint.md
 
 
lambda_in_collection.md
lambda_in_collection.md
 
 
lambda_multi_arg_mismatch.md
lambda_multi_arg_mismatch.md
 
 
lambda_parameter_unused.md
lambda_parameter_unused.md
 
 
lambda_ret_constraint_bug.md
lambda_ret_constraint_bug.md
 
 
let_polymorphism_complex.md
let_polymorphism_complex.md
 
 
let_polymorphism_error.md
let_polymorphism_error.md
 
 
let_polymorphism_expr.md
let_polymorphism_expr.md
 
 
let_polymorphism_lists.md
let_polymorphism_lists.md
 
 
let_polymorphism_numbers.md
let_polymorphism_numbers.md
 
 
let_polymorphism_records.md
let_polymorphism_records.md
 
 
module_empty.md
module_empty.md
 
 
module_multiline_with_comments.md
module_multiline_with_comments.md
 
 
module_nonempty_single.md
module_nonempty_single.md
 
 
module_singleline_fmts_to_multiline.md
module_singleline_fmts_to_multiline.md
 
 
multi_qualified_import.md
multi_qualified_import.md
 
 

README.md

Snapshots

Snapshot tests that validate compiler behavior by capturing the output of each compilation stage for specific Roc code examples.

Snapshot tests provide comprehensive validation of the compilation pipeline by showing how source code is transformed through each stage: tokenization, parsing, canonicalization, and type checking etc.

Each snapshot file contains the expected output and helps us to detect regressions when compiler behavior changes unexpectedly.

Usage

  • Generate all snapshots: zig build snapshot
  • Update specific snapshot: zig build snapshot -- <file_path>
  • Update expected from problems: zig build update-expected -- <file_path>
  • Debug REPL evaluation with trace: zig build snapshot -- <repl_snapshot.md> --trace-eval

Trace Debugging

The --trace-eval flag enables detailed interpreter tracing for debugging REPL snapshots:

# Debug build (trace support enabled by default)
zig build snapshot -- src/snapshots/repl/repl_record_field_access.md --trace-eval

Requirements:

  • Only works with REPL snapshots (type=repl)
  • Can only be used with a single snapshot file
  • Trace output is automatically enabled in debug builds
  • For release builds, use -Dtrace-eval=true to enable tracing