✓
Passing This code compiles and runs correctly.
Code
// Test 210_074: effect branch with explicit `->` resume type.
// `! ask T -> U`: yield a T, resume with a U.
~pub event prompt-user { question: []const u8 }
! ask []const u8 -> []const u8
| done
Expected AST
{
"module_annotations": [],
"items": [
{
"type": "import_decl",
"path": "std/compiler",
"location": {
"file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_074_effect_branch_resume_type/input.kz",
"line": 2,
"col": 0
}
},
{
"type": "host_line",
"module": "input",
"location": {
"file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_074_effect_branch_resume_type/input.kz",
"line": 2,
"col": 0
}
},
{
"type": "host_line",
"module": "input",
"location": {
"file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_074_effect_branch_resume_type/input.kz",
"line": 3,
"col": 0
}
},
{
"type": "event_decl",
"name": "prompt-user",
"path": [
"prompt-user"
],
"module": "input",
"input": {
"fields": [
{
"name": "question",
"type": "[]const u8",
"is_source": false,
"is_file": false,
"is_embed_file": false,
"is_expression": false,
"is_invocation_meta": false,
"phantom": null
}
]
},
"branches": [
{
"name": "ask",
"kind": "effect",
"resume": "[]const u8",
"resume_phantom": null,
"is_optional": false,
"is_panic": false,
"payload": {
"fields": [
{
"name": "__type_ref",
"type": "[]const u8",
"is_source": false,
"is_file": false,
"is_embed_file": false,
"is_expression": false,
"is_invocation_meta": false,
"phantom": null
}
]
}
},
{
"name": "done",
"kind": "terminal",
"resume": null,
"resume_phantom": null,
"is_optional": false,
"is_panic": false,
"payload": {
"fields": []
}
}
],
"location": {
"file": "tests/regression/200_COMPILER_FEATURES/210_PARSER/210_074_effect_branch_resume_type/input.kz",
"line": 8,
"col": 0
}
}
]
}Test Configuration
PARSER_TEST