[pull] master from GaijinEntertainment:master

.github/copilot-instructions.md

@@ -48,13 +48,15 @@ All code examples and documentation MUST use gen2 syntax (add `options gen2` at
 - **Braces** on all blocks — no indentation-based blocks: `def foo() { ... }`, `if (x) { ... }`
 - **Construction:** `new Type(field=val)` — NOT `new [[Type() field=val]]`
 - **Enum access:** `EnumName.EnumValue` with dot — NOT `EnumName EnumValue` without
-- **Array literals:** `[1, 2, 3]` (commas, square brackets) — NOT `[[int 1; 2; 3]]`
+- **Array literals:** `[1, 2, 3]` (commas, square brackets) — NOT `[[int 1; 2; 3]]`. Note: this creates a **dynamic** `array<int>` — use `fixed_array(1, 2, 3)` for fixed-size arrays
 - **Struct init:** `Foo(a=1, b=2)` — NOT `[[Foo() a=1, b=2]]`
 - **No `[[ ]]` for `new`** — `new` always uses parentheses: `new Foo(x=1)`
 - **Table literals:** `{ "k" => v, "k2" => v2 }` (single braces, commas) — NOT `{{ "k" => v; "k2" => v2 }}`
 - **Named arguments:** `foo([name = value])` with square brackets — NOT `foo(name=value)`
 - **Block arguments with `<|`:** use `$()` or `@()` prefix: `defer() <| $() { ... }` — NOT `defer <| { ... }` (bare `{ }` creates a table literal)
 - **Lambda:** `@(args) { body }` or `@@(args) { body }` (no-capture)
+- **Generator:** `$() { yield value; }` or `$ { yield value; }` — both are valid gen2 syntax
+- **Tuple `=>` operator:** `a => b` creates a `tuple<auto;auto>` — useful in LINQ, table construction, and ad-hoc pairs
 - **Bitfield variables** need explicit type for `.field` access and printing: `var f : MyBitfield`
 - **Bitfield dot access:** read with `f.flag` (returns bool), write with `f.flag = true/false`
 - **`typeinfo`** special syntax: `typeinfo enum_length(type<MyEnum>)` — NOT `typeinfo(enum_length type<MyEnum>)`
@@ -110,6 +112,10 @@ All code examples and documentation MUST use gen2 syntax (add `options gen2` at
 - When calling `apply_template`, always capture the return value: `unsafe { expr <- apply_template(expr) <| ... }` — discarding the return loses the expression data
 - Iterator comprehension: `[iterator for(x in src); expression]` — semicolon separates generator from body
 - `to_array` (from `daslib/builtin`) converts any iterator to an array
+- Lambdas CAN be stored in arrays: `var fns : array<lambda<(x:int):int>>` + `fns |> emplace() <| @(x : int) : int { return x * 2; }` — move semantics, not copy
+- Blocks CANNOT be stored in containers, returned from functions, or captured — use lambdas or function pointers for those use cases
+- `match`, `multi_match`, `static_match` macros (from `daslib/match.das`) handle side effects automatically — do NOT add `[sideeffects]` annotations to functions that only use match
+- `[export] def main()` returns `void` — do NOT `return true` or return other values from main
 
 ## Key Directories
 
@@ -172,9 +178,48 @@ When editing RST files in `doc/source/reference/language/`:
 - All code blocks use `.. code-block:: das` with gen2 syntax
 - Include `// output:` comments showing expected output for runnable examples
 - Add `require` statements when examples need imports
-- Use `:ref:` cross-references to link between pages (labels: `_structs`, `_classes`, `_functions`, `_statements`, `_expressions`, `_arrays`, `_tables`, `_iterators`, `_generators`, `_lambdas`, `_blocks`, `_tuples`, `_variants`, `_bitfields`, `_aliases`, `_modules`, `_options`, `_unsafe`, `_enumerations`, `_generic_programming`, `_pattern-matching`, `_comprehensions`, `_string_builder`, `_macros`, `_reification`, `_finalizers`, `_clone`, `_temporary`, `_move_copy_clone`, `_annotations`, `_program_structure`, `_type_conversions`, `_contexts`, `_locks`, `_datatypes_and_values`)
+- Use `:ref:` cross-references to link between pages (labels: `_structs`, `_classes`, `_functions`, `_statements`, `_expressions`, `_arrays`, `_tables`, `_iterators`, `_generators`, `_lambdas`, `_blocks`, `_tuples`, `_variants`, `_bitfields`, `_aliases`, `_modules`, `_options`, `_unsafe`, `_enumerations`, `_generic_programming`, `_pattern-matching`, `_comprehensions`, `_string_builder`, `_macros`, `_reification`, `_finalizers`, `_clone`, `_temporary`, `_move_copy_clone`, `_annotations`, `_program_structure`, `_type_conversions`, `_contexts`, `_locks`, `_datatypes_and_values`, `_pointers`)
 - Verify examples compile: `bin/Release/daslang.exe example.das`
 
+### RST table rules
+
+RST uses two table formats — **grid tables** and **simple tables**. Both are fragile:
+
+- **Grid tables** (`+---+---+`): Every row line must be exactly the same width as every separator line. Off-by-one spaces cause Sphinx errors.
+- **Simple tables** (`===  ===`): The `=` separator defines column widths. Content in non-last columns must NOT extend past its column's `=` boundary. Headers must start at or after the column's start position (not in the gap). The gap between columns must be at least 2 spaces.
+- After creating or editing any RST table, verify the file with a Sphinx build (see below).
+
+### Documentation workflow (REQUIRED)
+
+After creating or modifying any RST files, stdlib documentation, or `daslib/*.das` module doc-comments:
+
+1. **Regenerate stdlib docs** (if `daslib/*.das` files or `doc/reflections/das2rst.das` were changed):
+   ```
+   bin/Release/daslang.exe doc/reflections/das2rst.das
+   ```
+
+2. **Clean Sphinx build** — MUST delete cache; cached builds hide errors:
+   ```
+   cd doc
+   Remove-Item -Recurse -Force sphinx-build    # delete doctree cache
+   Remove-Item -Recurse -Force ../site/doc     # delete HTML output
+   sphinx-build -b html -d sphinx-build source ../site/doc
+   ```
+   On Linux/Mac:
+   ```
+   cd doc
+   rm -rf sphinx-build ../site/doc
+   sphinx-build -b html -d sphinx-build source ../site/doc
+   ```
+
+3. **Verify no new errors or warnings**: Check the build output for `ERROR` and `WARNING`. The build must introduce **no new** Sphinx errors or warnings compared to the baseline.
+
+**When to run the workflow:**
+- New or modified RST files (language docs, tutorials, stdlib docs)
+- New or modified `//!` doc-comments in `daslib/*.das` files
+- Changes to `doc/reflections/das2rst.das` or `doc/reflections/rst.das`
+- New public functions added to any `daslib/*.das` module (also update `group_by_regex` in `das2rst.das`)
+
 ### Tutorial RST conventions
 
 Tutorial RST files live in `doc/source/reference/tutorials/` with companion `.das` files in `tutorials/language/`.
@@ -202,7 +247,7 @@ C++ integration tutorial RST files live in `doc/source/reference/tutorials/` wit
 - Each tutorial is one self-contained `.cpp` file with embedded `main()` — no separate build infrastructure needed beyond CMake target
 - Tutorial CMake targets: `integration_cpp_01` through `integration_cpp_NN` (defined in `tutorials/integration/cpp/CMakeLists.txt`)
 
-- Tutorial labels for cross-references: `tutorial_hello_world`, `tutorial_variables`, `tutorial_operators`, `tutorial_control_flow`, `tutorial_functions`, `tutorial_arrays`, `tutorial_strings`, `tutorial_structs`, `tutorial_enumerations`, `tutorial_tables`, `tutorial_tuples_and_variants`, `tutorial_function_pointers`, `tutorial_blocks`, `tutorial_lambdas`, `tutorial_iterators_and_generators`, `tutorial_modules`, `tutorial_move_copy_clone`, `tutorial_classes`, `tutorial_generics`, `tutorial_lifetime`, `tutorial_error_handling`, `tutorial_unsafe`, `tutorial_string_format`, `tutorial_pattern_matching`, `tutorial_annotations`, `tutorial_contracts`, `tutorial_testing`, `tutorial_linq`, `tutorial_functional`, `tutorial_json`, `tutorial_regex`, `tutorial_operator_overloading`
+- Tutorial labels for cross-references: `tutorial_hello_world`, `tutorial_variables`, `tutorial_operators`, `tutorial_control_flow`, `tutorial_functions`, `tutorial_arrays`, `tutorial_strings`, `tutorial_structs`, `tutorial_enumerations`, `tutorial_tables`, `tutorial_tuples_and_variants`, `tutorial_function_pointers`, `tutorial_blocks`, `tutorial_lambdas`, `tutorial_iterators_and_generators`, `tutorial_modules`, `tutorial_move_copy_clone`, `tutorial_classes`, `tutorial_generics`, `tutorial_lifetime`, `tutorial_error_handling`, `tutorial_unsafe`, `tutorial_string_format`, `tutorial_pattern_matching`, `tutorial_annotations`, `tutorial_contracts`, `tutorial_testing`, `tutorial_linq`, `tutorial_functional`, `tutorial_json`, `tutorial_regex`, `tutorial_operator_overloading`, `tutorial_pointers`
 - C++ integration tutorial labels: `tutorial_integration_cpp_hello_world`, `tutorial_integration_cpp_calling_functions`, `tutorial_integration_cpp_binding_functions`, `tutorial_integration_cpp_binding_types`, `tutorial_integration_cpp_binding_enums`, `tutorial_integration_cpp_interop`, `tutorial_integration_cpp_callbacks`, `tutorial_integration_cpp_methods`, `tutorial_integration_cpp_operators_and_properties`
 - C++ integration tutorial plan (remaining): 10 Custom Modules, 11 Context Variables, 12 Smart Pointers & GC, 13 AOT, 14 Serialization, 15 Custom Annotations, 16 Sandbox
 

CLAUDE.md

@@ -48,13 +48,15 @@ All code examples and documentation MUST use gen2 syntax (add `options gen2` at
 - **Braces** on all blocks — no indentation-based blocks: `def foo() { ... }`, `if (x) { ... }`
 - **Construction:** `new Type(field=val)` — NOT `new [[Type() field=val]]`
 - **Enum access:** `EnumName.EnumValue` with dot — NOT `EnumName EnumValue` without
-- **Array literals:** `[1, 2, 3]` (commas, square brackets) — NOT `[[int 1; 2; 3]]`
+- **Array literals:** `[1, 2, 3]` (commas, square brackets) — NOT `[[int 1; 2; 3]]`. Note: this creates a **dynamic** `array<int>` — use `fixed_array(1, 2, 3)` for fixed-size arrays
 - **Struct init:** `Foo(a=1, b=2)` — NOT `[[Foo() a=1, b=2]]`
 - **No `[[ ]]` for `new`** — `new` always uses parentheses: `new Foo(x=1)`
 - **Table literals:** `{ "k" => v, "k2" => v2 }` (single braces, commas) — NOT `{{ "k" => v; "k2" => v2 }}`
 - **Named arguments:** `foo([name = value])` with square brackets — NOT `foo(name=value)`
 - **Block arguments with `<|`:** use `$()` or `@()` prefix: `defer() <| $() { ... }` — NOT `defer <| { ... }` (bare `{ }` creates a table literal)
 - **Lambda:** `@(args) { body }` or `@@(args) { body }` (no-capture)
+- **Generator:** `$() { yield value; }` or `$ { yield value; }` — both are valid gen2 syntax
+- **Tuple `=>` operator:** `a => b` creates a `tuple<auto;auto>` — useful in LINQ, table construction, and ad-hoc pairs
 - **Bitfield variables** need explicit type for `.field` access and printing: `var f : MyBitfield`
 - **Bitfield dot access:** read with `f.flag` (returns bool), write with `f.flag = true/false`
 - **`typeinfo`** special syntax: `typeinfo enum_length(type<MyEnum>)` — NOT `typeinfo(enum_length type<MyEnum>)`
@@ -110,6 +112,10 @@ All code examples and documentation MUST use gen2 syntax (add `options gen2` at
 - When calling `apply_template`, always capture the return value: `unsafe { expr <- apply_template(expr) <| ... }` — discarding the return loses the expression data
 - Iterator comprehension: `[iterator for(x in src); expression]` — semicolon separates generator from body
 - `to_array` (from `daslib/builtin`) converts any iterator to an array
+- Lambdas CAN be stored in arrays: `var fns : array<lambda<(x:int):int>>` + `fns |> emplace() <| @(x : int) : int { return x * 2; }` — move semantics, not copy
+- Blocks CANNOT be stored in containers, returned from functions, or captured — use lambdas or function pointers for those use cases
+- `match`, `multi_match`, `static_match` macros (from `daslib/match.das`) handle side effects automatically — do NOT add `[sideeffects]` annotations to functions that only use match
+- `[export] def main()` returns `void` — do NOT `return true` or return other values from main
 
 ## Key Directories
 
@@ -172,9 +178,48 @@ When editing RST files in `doc/source/reference/language/`:
 - All code blocks use `.. code-block:: das` with gen2 syntax
 - Include `// output:` comments showing expected output for runnable examples
 - Add `require` statements when examples need imports
-- Use `:ref:` cross-references to link between pages (labels: `_structs`, `_classes`, `_functions`, `_statements`, `_expressions`, `_arrays`, `_tables`, `_iterators`, `_generators`, `_lambdas`, `_blocks`, `_tuples`, `_variants`, `_bitfields`, `_aliases`, `_modules`, `_options`, `_unsafe`, `_enumerations`, `_generic_programming`, `_pattern-matching`, `_comprehensions`, `_string_builder`, `_macros`, `_reification`, `_finalizers`, `_clone`, `_temporary`, `_move_copy_clone`, `_annotations`, `_program_structure`, `_type_conversions`, `_contexts`, `_locks`, `_datatypes_and_values`)
+- Use `:ref:` cross-references to link between pages (labels: `_structs`, `_classes`, `_functions`, `_statements`, `_expressions`, `_arrays`, `_tables`, `_iterators`, `_generators`, `_lambdas`, `_blocks`, `_tuples`, `_variants`, `_bitfields`, `_aliases`, `_modules`, `_options`, `_unsafe`, `_enumerations`, `_generic_programming`, `_pattern-matching`, `_comprehensions`, `_string_builder`, `_macros`, `_reification`, `_finalizers`, `_clone`, `_temporary`, `_move_copy_clone`, `_annotations`, `_program_structure`, `_type_conversions`, `_contexts`, `_locks`, `_datatypes_and_values`, `_pointers`)
 - Verify examples compile: `bin/Release/daslang.exe example.das`
 
+### RST table rules
+
+RST uses two table formats — **grid tables** and **simple tables**. Both are fragile:
+
+- **Grid tables** (`+---+---+`): Every row line must be exactly the same width as every separator line. Off-by-one spaces cause Sphinx errors.
+- **Simple tables** (`===  ===`): The `=` separator defines column widths. Content in non-last columns must NOT extend past its column's `=` boundary. Headers must start at or after the column's start position (not in the gap). The gap between columns must be at least 2 spaces.
+- After creating or editing any RST table, verify the file with a Sphinx build (see below).
+
+### Documentation workflow (REQUIRED)
+
+After creating or modifying any RST files, stdlib documentation, or `daslib/*.das` module doc-comments:
+
+1. **Regenerate stdlib docs** (if `daslib/*.das` files or `doc/reflections/das2rst.das` were changed):
+   ```
+   bin/Release/daslang.exe doc/reflections/das2rst.das
+   ```
+
+2. **Clean Sphinx build** — MUST delete cache; cached builds hide errors:
+   ```
+   cd doc
+   Remove-Item -Recurse -Force sphinx-build    # delete doctree cache
+   Remove-Item -Recurse -Force ../site/doc     # delete HTML output
+   sphinx-build -b html -d sphinx-build source ../site/doc
+   ```
+   On Linux/Mac:
+   ```
+   cd doc
+   rm -rf sphinx-build ../site/doc
+   sphinx-build -b html -d sphinx-build source ../site/doc
+   ```
+
+3. **Verify no new errors or warnings**: Check the build output for `ERROR` and `WARNING`. The build must introduce **no new** Sphinx errors or warnings compared to the baseline.
+
+**When to run the workflow:**
+- New or modified RST files (language docs, tutorials, stdlib docs)
+- New or modified `//!` doc-comments in `daslib/*.das` files
+- Changes to `doc/reflections/das2rst.das` or `doc/reflections/rst.das`
+- New public functions added to any `daslib/*.das` module (also update `group_by_regex` in `das2rst.das`)
+
 ### Tutorial RST conventions
 
 Tutorial RST files live in `doc/source/reference/tutorials/` with companion `.das` files in `tutorials/language/`.
@@ -202,7 +247,7 @@ C++ integration tutorial RST files live in `doc/source/reference/tutorials/` wit
 - Each tutorial is one self-contained `.cpp` file with embedded `main()` — no separate build infrastructure needed beyond CMake target
 - Tutorial CMake targets: `integration_cpp_01` through `integration_cpp_NN` (defined in `tutorials/integration/cpp/CMakeLists.txt`)
 
-- Tutorial labels for cross-references: `tutorial_hello_world`, `tutorial_variables`, `tutorial_operators`, `tutorial_control_flow`, `tutorial_functions`, `tutorial_arrays`, `tutorial_strings`, `tutorial_structs`, `tutorial_enumerations`, `tutorial_tables`, `tutorial_tuples_and_variants`, `tutorial_function_pointers`, `tutorial_blocks`, `tutorial_lambdas`, `tutorial_iterators_and_generators`, `tutorial_modules`, `tutorial_move_copy_clone`, `tutorial_classes`, `tutorial_generics`, `tutorial_lifetime`, `tutorial_error_handling`, `tutorial_unsafe`, `tutorial_string_format`, `tutorial_pattern_matching`, `tutorial_annotations`, `tutorial_contracts`, `tutorial_testing`, `tutorial_linq`, `tutorial_functional`, `tutorial_json`, `tutorial_regex`, `tutorial_operator_overloading`
+- Tutorial labels for cross-references: `tutorial_hello_world`, `tutorial_variables`, `tutorial_operators`, `tutorial_control_flow`, `tutorial_functions`, `tutorial_arrays`, `tutorial_strings`, `tutorial_structs`, `tutorial_enumerations`, `tutorial_tables`, `tutorial_tuples_and_variants`, `tutorial_function_pointers`, `tutorial_blocks`, `tutorial_lambdas`, `tutorial_iterators_and_generators`, `tutorial_modules`, `tutorial_move_copy_clone`, `tutorial_classes`, `tutorial_generics`, `tutorial_lifetime`, `tutorial_error_handling`, `tutorial_unsafe`, `tutorial_string_format`, `tutorial_pattern_matching`, `tutorial_annotations`, `tutorial_contracts`, `tutorial_testing`, `tutorial_linq`, `tutorial_functional`, `tutorial_json`, `tutorial_regex`, `tutorial_operator_overloading`, `tutorial_pointers`
 - C++ integration tutorial labels: `tutorial_integration_cpp_hello_world`, `tutorial_integration_cpp_calling_functions`, `tutorial_integration_cpp_binding_functions`, `tutorial_integration_cpp_binding_types`, `tutorial_integration_cpp_binding_enums`, `tutorial_integration_cpp_interop`, `tutorial_integration_cpp_callbacks`, `tutorial_integration_cpp_methods`, `tutorial_integration_cpp_operators_and_properties`
 - C++ integration tutorial plan (remaining): 10 Custom Modules, 11 Context Variables, 12 Smart Pointers & GC, 13 AOT, 14 Serialization, 15 Custom Annotations, 16 Sandbox
 

CMakeLists.txt

@@ -20,12 +20,14 @@ option(DAS_BGFX_DISABLED "Disable dasBGFX (BGFX graphics API)" ON)
 option(DAS_XBYAK_DISABLED "Disable dasXbyak (XBYAK and ZYDIS, x86 assembly, jit)" ON)
 option(DAS_MINFFT_DISABLED "Disable dasMinfft (Minimal FFT library)" ON)
 option(DAS_AUDIO_DISABLED "Disable dasAudio (Miniaudio sound library)" ON)
+option(DAS_OPENAI_DISABLED "Disable dasOpenAI (OpenAI site API)" ON)
 option(DAS_STDDLG_DISABLED "Disable dasStdDlg (File new,open,save etc dialogs)" OFF)
 option(DAS_STBIMAGE_DISABLED "Disable dasStbImage (StbImage bindings, image loading and saving)" OFF)
 option(DAS_STBTRUETYPE_DISABLED "Disable dasStbTrueType (StbTrueType bindings, ttf rasterization)" OFF)
 option(DAS_SFML_DISABLED "Disable dasSFML (SFML multimedia library)" ON)
 option(DAS_PUGIXML_DISABLED "Disable dasPUGIXML (xml parsing library)" ON)
 option(DAS_SQLITE_DISABLED "Disable dasSQLITE (sqlite3 library)" ON)
+option(DAS_TELEGRAM_DISABLED "Disable dasTelegram (Telegram API bindings)" ON)
 option(DAS_TOOLS_DISABLED "Disable dasTools" OFF)
 option(DAS_AOT_EXAMPLES_DISABLED "Disable dasAOT examples" OFF)
 option(DAS_PROFILE_DISABLED "Disable dasProfile" OFF)

daslib/apply_in_context.das

@@ -29,11 +29,12 @@ class AppendCondAnnotation : AstFunctionAnnotation {
   //! If specified context is not installed, panic is called.
   //!
   //! For example::
-  //!  [apply_in_context(opengl_cache)]
-  //!  def public cache_font(name:string implicit) : Font?
-  //!      ...
-  //!  ...
-  //!  let font = cache_font("Arial") // call invoked in the "opengl_cache" debug agent context
+  //!
+  //!     [apply_in_context(opengl_cache)]
+  //!     def public cache_font(name:string implicit) : Font?
+  //!         ...
+  //!     ...
+  //!     let font = cache_font("Arial") // call invoked in the "opengl_cache" debug agent context
   def override patch(var func : FunctionPtr; var group : ModuleGroup; args, progArgs : AnnotationArgumentList; var errors : das_string; var astChanged : bool&) : bool {
 
     for (ann in func.annotations) {