llms.txt llms-full.txt

Start

Introduction Why Sakura Lang Quickstart Editor setup

Language Tour

Basics Types Effects Handlers Contracts and refinements Testing Capabilities and security Memory model Concurrency

For Agents

Overview llms.txt and Markdown exports MCP server Diagnostics Typed holes Trust audit Offline API search Build manifest Verify contracts Offline cassettes and recording

Cookbook

Cookbook Decode JSON into a refined record Read a file from a CLI Retry HTTP with an offline cassette Query SQLite with bound parameters Test a router endpoint directly Exercise an LLM tool with a script Bound an agent loop and its budget Update list indices with List.set

Reference

Standard library

V0001 syntax_error V0002 unterminated V0003 int_literal_out_of_range V0004 invalid_character V0005 invalid_escape V0006 malformed_number V0007 reserved_keyword V0008 nesting_limit_exceeded V0009 expected_terminator V0010 chained_comparison V0011 call_site_type_arguments V0012 keyword_expression_operand V0013 invalid_assign_target V0014 named_argument V1001 duplicate_definition V1002 unresolved_name V1003 unresolved_type V1004 name_case_mismatch V1005 unresolved_module V1006 private_item V1007 wrong_kind V1010 unknown_attribute V1011 missing_body V1012 mixed_union_alternatives V1020 recursive_lambda V1030 import_cycle V1040 assign_immutable V1041 jump_outside_loop V2001 type_mismatch V2002 arity_mismatch V2003 not_callable V2004 unknown_field V2005 infinite_type V2010 cannot_infer_type V2015 error_union_annotation_needed V2031 not_show V2032 constraint_not_satisfied V2033 opaque_not_schema V2034 refined_field_assignment V2040 unused_value V2041 assign_captured_var V2050 hole_in_build V3001 effect_not_allowed V3002 effect_label_not_permitted V3003 try_unknown_failures V3010 invalid_operation_row V3011 handler_clause_mismatch V3012 with_non_handler V3020 test_unhandled_effect V4001 non_exhaustive_match V4002 unreachable_arm V4003 or_pattern_bindings V5001 impure_contract V5002 refinement_checked_at_runtime (retired)V5003 validate_target_not_refined V5004 literal_violates_refinement V6001 capability_construction V6002 scoped_value_escape V6003 resource_escape V6010 non_std_effect_in_main V8001 missing_entry_point V8002 reserved_package_name V8003 abi_version_mismatch V8004 target_unsupported_external V8020 spec_frozen V9001 internal_error V9002 phase_unavailable W1002 shadowed_import W4010 catch_all_on_open_union W5005 linear_contract_on_hot_path W7001 property_discard_budget W7002 vacuous_obligation W8001 copy_on_write D001 int_overflow D002 division_by_zero D003 int_beyond_js_safe_range D004 float_not_finite D010 refinement_violated D011 contract_evaluation_failed D020 precondition_violated D021 postcondition_violated D030 option_expect_none D031 string_slice_not_char_boundary D090 runtime_internal_error D091 host_failure D092 rc_overflow D093 finalizer_failed D094 context_escaped D095 fiber_retired D096 heap_exhausted

Roadmap Prior art FAQ

V9001 internal_error

The compiler hit a bug.

An error from the internal phase. sakura explain V9001 prints this explanation offline.

The compiler hit a bug. This is never your program's fault. Please report it with the program and the output of sakura --version.

Wrong program

No fixture in compiler/tests/ui reports this code yet.

Fixed program

No fixed program yet; the explanation above describes the repair.

V8020 spec_frozen

A patch modifies a frozen symbol's signature, effect row, error union, contracts, or a test body (design §7.3).

V9002 phase_unavailable

A compiler phase needed by this command is not implemented yet in this pre-alpha build.

On this page

Wrong program Fixed program