054 inline source block args

✓ Passing This code compiles and runs correctly.

Code

// Test 210_054: Inline Source block with args
// Ensures inline { ... } Source blocks parse correctly even with arguments.

const std = @import("std");

~[comptime|transform]tor inline.source {
    expr: Expression,
    source: Source,
    invocation: *const Invocation,
    program: *const Program,
    allocator: std.mem.Allocator
} -> *const Program

~proc inline.source|zig {
    return program;
}

~tor setup {}

~proc setup|zig { return .{ .ready = .{} }; }

// Inline Source block on one line with args + nested braces
const show = true;
~inline.source(expr: show) { const data = { x: 1, y: 2 }; }
| transformed |> _

// Inline Source block inside a pipeline continuation with args
~setup() |> inline.source(expr: show) { const z = 3; }
| transformed |> _

input.kz

Flows

flow ~inline.source click a branch to expand · @labels scroll to their anchor

inline.source (expr: show, source: const data = { x: 1, y: 2 };)

flow ~setup click a branch to expand · @labels scroll to their anchor

setup

Expected AST

{
  "module_annotations": [],
  "items": [
    {
      "type": "import_decl",
      "path": "std/compiler",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 2,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 2,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 3,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 5,
        "col": 0
      }
    },
    {
      "type": "event_decl",
      "name": "source",
      "path": [
        "inline",
        "source"
      ],
      "module": "input",
      "input": {
        "fields": [
          {
            "name": "expr",
            "type": "Expression",
            "is_source": false,
            "is_file": false,
            "is_embed_file": false,
            "is_expression": true,
            "is_invocation_meta": false,
            "phantom": null
          },
          {
            "name": "source",
            "type": "Source",
            "is_source": true,
            "is_file": false,
            "is_embed_file": false,
            "is_expression": false,
            "is_invocation_meta": false,
            "phantom": null
          },
          {
            "name": "invocation",
            "type": "*const Invocation",
            "is_source": false,
            "is_file": false,
            "is_embed_file": false,
            "is_expression": false,
            "is_invocation_meta": false,
            "phantom": null
          },
          {
            "name": "program",
            "type": "*const Program",
            "is_source": false,
            "is_file": false,
            "is_embed_file": false,
            "is_expression": false,
            "is_invocation_meta": false,
            "phantom": null
          },
          {
            "name": "allocator",
            "type": "std.mem.Allocator",
            "is_source": false,
            "is_file": false,
            "is_embed_file": false,
            "is_expression": false,
            "is_invocation_meta": false,
            "phantom": null
          }
        ]
      },
      "branches": [],
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 6,
        "col": 0
      }
    },
    {
      "type": "proc_decl",
      "event_name": "source",
      "path": [
        "inline",
        "source"
      ],
      "module": "input",
      "target": "zig",
      "is_pure": false,
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 18,
        "col": 0
      }
    },
    {
      "type": "event_decl",
      "name": "setup",
      "path": [
        "setup"
      ],
      "module": "input",
      "input": {
        "fields": []
      },
      "branches": [],
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 18,
        "col": 0
      }
    },
    {
      "type": "proc_decl",
      "event_name": "setup",
      "path": [
        "setup"
      ],
      "module": "input",
      "target": "zig",
      "is_pure": false,
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 22,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 23,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 24,
        "col": 0
      }
    },
    {
      "type": "flow",
      "invocation": {
        "event": [
          "inline",
          "source"
        ],
        "args": [
          {
            "name": "expr",
            "value": "show",
            "expression_value": {
              "text": "show",
              "location": {
                "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
                "line": 26,
                "col": 0
              },
              "scope": {
                "bindings": []
              }
            }
          },
          {
            "name": "source",
            "value": "const data = { x: 1, y: 2 };",
            "source_value": {
              "text": "const data = { x: 1, y: 2 };",
              "location": {
                "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
                "line": 26,
                "col": 0
              },
              "scope": {
                "bindings": []
              },
              "phantom_type": null
            }
          }
        ],
        "variant": null
      },
      "continuations": [
        {
          "branch": "transformed",
          "kind": "terminal",
          "is_catchall": false,
          "binding": null,
          "binding_type": "branch_payload",
          "condition": null,
          "step": {
            "type": "terminal"
          },
          "continuations": []
        }
      ],
      "pre_label": null,
      "impl_of": null,
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 25,
        "col": 0
      }
    },
    {
      "type": "host_line",
      "module": "input",
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 28,
        "col": 0
      }
    },
    {
      "type": "flow",
      "invocation": {
        "event": [
          "setup"
        ],
        "args": [],
        "variant": null
      },
      "continuations": [
        {
          "branch": "",
          "kind": "terminal",
          "is_catchall": false,
          "binding": null,
          "binding_type": "branch_payload",
          "condition": null,
          "step": {
            "type": "invocation",
            "invocation": {
              "event": [
                "inline",
                "source"
              ],
              "args": [
                {
                  "name": "expr",
                  "value": "show",
                  "expression_value": {
                    "text": "show",
                    "location": {
                      "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
                      "line": 30,
                      "col": 0
                    },
                    "scope": {
                      "bindings": []
                    }
                  }
                },
                {
                  "name": "source",
                  "value": "const z = 3;",
                  "source_value": {
                    "text": "const z = 3;",
                    "location": {
                      "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
                      "line": 30,
                      "col": 0
                    },
                    "scope": {
                      "bindings": []
                    },
                    "phantom_type": null
                  }
                }
              ],
              "variant": null
            }
          },
          "continuations": [
            {
              "branch": "transformed",
              "kind": "terminal",
              "is_catchall": false,
              "binding": null,
              "binding_type": "branch_payload",
              "condition": null,
              "step": {
                "type": "terminal"
              },
              "continuations": []
            }
          ]
        }
      ],
      "pre_label": null,
      "impl_of": null,
      "location": {
        "file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_054_inline_source_block_args/input.kz",
        "line": 29,
        "col": 0
      }
    }
  ]
}

Test Configuration

PARSER_TEST

← 053 reject old tap syntax 056 cross module comptime dispatch →