dimgigov
db41ba4d84
Sessions 10–12 from QUALITY_PLAN:
- Pattern payload bindings (Some(value) => value) in bootstrap and selfhost
- Empty-param closures via || (tkPipePipe) with loop/return bodies
- Expression-form match: let x = match …; newline before arms
- f"…" string interpolation desugared to String_Concat + conversions
- Lexer preserves \{ \} for literal braces in f-strings
- Bootstrap fix: f"plain" strips the f prefix after escape processing
- Examples: pattern_matching, closure_control, match_let, string_interp
Selfhost-loop remains binary-identical; all examples and error goldens pass.
64 lines
1.4 KiB
Plaintext
64 lines
1.4 KiB
Plaintext
// Closures with control flow: empty `||` params, while/break, early return
|
|
import Std::Io::{PrintLine, PrintInt};
|
|
import Std::Test::{Test_AssertEqInt, Test_Pass};
|
|
|
|
// Zero-param capturing closure written as `||` (not `| |`)
|
|
func MakeCounter(limit: int) -> func() -> int {
|
|
return || -> int {
|
|
var sum: int = 0;
|
|
var i: int = 0;
|
|
while i < limit {
|
|
sum = sum + i;
|
|
i = i + 1;
|
|
if i == 3 {
|
|
break;
|
|
}
|
|
}
|
|
return sum;
|
|
};
|
|
}
|
|
|
|
func MakeClamp(n: int) -> func(int) -> int {
|
|
return |x: int| -> int {
|
|
if x < 0 {
|
|
return 0;
|
|
}
|
|
if x > n {
|
|
return n;
|
|
}
|
|
return x;
|
|
};
|
|
}
|
|
|
|
// return from inside a loop inside a closure
|
|
func MakeLoopReturn(n: int) -> func() -> int {
|
|
return || -> int {
|
|
var i: int = 0;
|
|
while i < n {
|
|
if i == 2 {
|
|
return 99;
|
|
}
|
|
i = i + 1;
|
|
}
|
|
return i;
|
|
};
|
|
}
|
|
|
|
func Main() -> int {
|
|
let c: func() -> int = MakeCounter(10);
|
|
Test_AssertEqInt(c(), 3); // 0+1+2
|
|
|
|
let f: func(int) -> int = MakeClamp(5);
|
|
Test_AssertEqInt(f(-1), 0);
|
|
Test_AssertEqInt(f(3), 3);
|
|
Test_AssertEqInt(f(100), 5);
|
|
|
|
let g: func() -> int = MakeLoopReturn(10);
|
|
Test_AssertEqInt(g(), 99);
|
|
|
|
PrintInt(c());
|
|
PrintLine("");
|
|
Test_Pass("closure_control");
|
|
return 0;
|
|
}
|