@devaloop/devalang 0.0.1-alpha.15 → 0.0.1-alpha.16

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (173) hide show
  1. package/.devalang +2 -0
  2. package/.github/workflows/ci.yml +92 -0
  3. package/Cargo.toml +60 -58
  4. package/README.md +1 -1
  5. package/docs/CHANGELOG.md +34 -1
  6. package/docs/CONTRIBUTING.md +101 -1
  7. package/docs/ROADMAP.md +1 -1
  8. package/docs/TODO.md +1 -1
  9. package/examples/automation.deva +1 -3
  10. package/examples/bank.deva +4 -4
  11. package/examples/events.deva +12 -0
  12. package/examples/function.deva +4 -4
  13. package/examples/index.deva +3 -5
  14. package/examples/loop.deva +5 -11
  15. package/examples/pattern.deva +8 -0
  16. package/examples/plugin.deva +12 -11
  17. package/examples/variables.deva +1 -1
  18. package/out-tsc/bin/index.js +51 -7
  19. package/out-tsc/index.js +3 -1
  20. package/out-tsc/scripts/postbuild.js +9 -10
  21. package/out-tsc/scripts/postinstall.js +49 -0
  22. package/package.json +12 -4
  23. package/project-version.json +3 -3
  24. package/rust/cli/bank.rs +462 -455
  25. package/rust/cli/build.rs +252 -199
  26. package/rust/cli/check.rs +221 -180
  27. package/rust/cli/driver.rs +297 -292
  28. package/rust/cli/generator.rs +1 -0
  29. package/rust/cli/init.rs +87 -79
  30. package/rust/cli/install.rs +35 -32
  31. package/rust/cli/login.rs +127 -134
  32. package/rust/cli/mod.rs +13 -11
  33. package/rust/cli/play.rs +1123 -218
  34. package/rust/cli/telemetry.rs +19 -0
  35. package/rust/cli/template.rs +69 -57
  36. package/rust/cli/update.rs +6 -4
  37. package/rust/common/api.rs +5 -5
  38. package/rust/common/mod.rs +3 -3
  39. package/rust/config/driver.rs +118 -94
  40. package/rust/config/loader.rs +165 -156
  41. package/rust/config/mod.rs +4 -2
  42. package/rust/config/settings.rs +91 -0
  43. package/rust/config/stats.rs +257 -0
  44. package/rust/core/audio/engine.rs +696 -659
  45. package/rust/core/audio/evaluator.rs +263 -132
  46. package/rust/core/audio/interpreter/arrow_call.rs +198 -187
  47. package/rust/core/audio/interpreter/call.rs +98 -95
  48. package/rust/core/audio/interpreter/condition.rs +70 -71
  49. package/rust/core/audio/interpreter/driver.rs +487 -231
  50. package/rust/core/audio/interpreter/function.rs +26 -21
  51. package/rust/core/audio/interpreter/let_.rs +38 -26
  52. package/rust/core/audio/interpreter/load.rs +18 -18
  53. package/rust/core/audio/interpreter/loop_.rs +113 -106
  54. package/rust/core/audio/interpreter/mod.rs +14 -14
  55. package/rust/core/audio/interpreter/sleep.rs +27 -28
  56. package/rust/core/audio/interpreter/spawn.rs +105 -102
  57. package/rust/core/audio/interpreter/tempo.rs +19 -16
  58. package/rust/core/audio/interpreter/trigger.rs +239 -210
  59. package/rust/core/audio/loader/mod.rs +1 -1
  60. package/rust/core/audio/loader/trigger.rs +100 -94
  61. package/rust/core/audio/mod.rs +7 -7
  62. package/rust/core/audio/player.rs +64 -64
  63. package/rust/core/audio/renderer.rs +56 -53
  64. package/rust/core/audio/special/easing.rs +189 -120
  65. package/rust/core/audio/special/env.rs +43 -41
  66. package/rust/core/audio/special/math.rs +102 -92
  67. package/rust/core/audio/special/mod.rs +9 -9
  68. package/rust/core/audio/special/modulator.rs +143 -120
  69. package/rust/core/builder/mod.rs +80 -85
  70. package/rust/core/debugger/lexer.rs +27 -27
  71. package/rust/core/debugger/mod.rs +24 -23
  72. package/rust/core/debugger/module.rs +55 -47
  73. package/rust/core/debugger/preprocessor.rs +27 -27
  74. package/rust/core/debugger/store.rs +40 -39
  75. package/rust/core/error/mod.rs +80 -69
  76. package/rust/core/lexer/handler/arrow.rs +82 -82
  77. package/rust/core/lexer/handler/at.rs +21 -21
  78. package/rust/core/lexer/handler/brace.rs +41 -41
  79. package/rust/core/lexer/handler/colon.rs +21 -21
  80. package/rust/core/lexer/handler/comment.rs +30 -30
  81. package/rust/core/lexer/handler/dot.rs +21 -21
  82. package/rust/core/lexer/handler/driver.rs +337 -292
  83. package/rust/core/lexer/handler/identifier.rs +46 -43
  84. package/rust/core/lexer/handler/indent.rs +66 -66
  85. package/rust/core/lexer/handler/mod.rs +16 -16
  86. package/rust/core/lexer/handler/newline.rs +23 -23
  87. package/rust/core/lexer/handler/number.rs +31 -31
  88. package/rust/core/lexer/handler/operator.rs +46 -46
  89. package/rust/core/lexer/handler/parenthesis.rs +41 -41
  90. package/rust/core/lexer/handler/slash.rs +21 -21
  91. package/rust/core/lexer/handler/string.rs +63 -63
  92. package/rust/core/lexer/mod.rs +54 -51
  93. package/rust/core/lexer/token.rs +97 -94
  94. package/rust/core/mod.rs +11 -11
  95. package/rust/core/parser/driver.rs +513 -490
  96. package/rust/core/parser/handler/arrow_call.rs +233 -227
  97. package/rust/core/parser/handler/at.rs +245 -162
  98. package/rust/core/parser/handler/bank.rs +94 -69
  99. package/rust/core/parser/handler/condition.rs +80 -74
  100. package/rust/core/parser/handler/dot.rs +143 -135
  101. package/rust/core/parser/handler/identifier/automate.rs +257 -194
  102. package/rust/core/parser/handler/identifier/call.rs +91 -88
  103. package/rust/core/parser/handler/identifier/emit.rs +66 -0
  104. package/rust/core/parser/handler/identifier/function.rs +100 -91
  105. package/rust/core/parser/handler/identifier/group.rs +85 -75
  106. package/rust/core/parser/handler/identifier/let_.rs +158 -143
  107. package/rust/core/parser/handler/identifier/mod.rs +54 -56
  108. package/rust/core/parser/handler/identifier/on.rs +98 -0
  109. package/rust/core/parser/handler/identifier/print.rs +52 -29
  110. package/rust/core/parser/handler/identifier/sleep.rs +36 -33
  111. package/rust/core/parser/handler/identifier/spawn.rs +91 -88
  112. package/rust/core/parser/handler/identifier/synth.rs +65 -63
  113. package/rust/core/parser/handler/loop_.rs +170 -89
  114. package/rust/core/parser/handler/mod.rs +8 -8
  115. package/rust/core/parser/handler/tempo.rs +53 -47
  116. package/rust/core/parser/mod.rs +4 -4
  117. package/rust/core/parser/statement.rs +142 -113
  118. package/rust/core/plugin/loader.rs +123 -48
  119. package/rust/core/plugin/mod.rs +2 -1
  120. package/rust/core/plugin/runner.rs +296 -0
  121. package/rust/core/preprocessor/loader.rs +515 -326
  122. package/rust/core/preprocessor/mod.rs +4 -4
  123. package/rust/core/preprocessor/module.rs +60 -58
  124. package/rust/core/preprocessor/processor.rs +99 -101
  125. package/rust/core/preprocessor/resolver/bank.rs +51 -48
  126. package/rust/core/preprocessor/resolver/call.rs +100 -101
  127. package/rust/core/preprocessor/resolver/condition.rs +97 -97
  128. package/rust/core/preprocessor/resolver/driver.rs +310 -280
  129. package/rust/core/preprocessor/resolver/function.rs +69 -68
  130. package/rust/core/preprocessor/resolver/group.rs +96 -91
  131. package/rust/core/preprocessor/resolver/let_.rs +32 -28
  132. package/rust/core/preprocessor/resolver/loop_.rs +320 -121
  133. package/rust/core/preprocessor/resolver/mod.rs +15 -15
  134. package/rust/core/preprocessor/resolver/spawn.rs +76 -73
  135. package/rust/core/preprocessor/resolver/synth.rs +56 -50
  136. package/rust/core/preprocessor/resolver/tempo.rs +50 -49
  137. package/rust/core/preprocessor/resolver/trigger.rs +113 -115
  138. package/rust/core/preprocessor/resolver/value.rs +81 -81
  139. package/rust/core/shared/duration.rs +9 -9
  140. package/rust/core/shared/mod.rs +3 -3
  141. package/rust/core/shared/value.rs +35 -32
  142. package/rust/core/store/function.rs +34 -34
  143. package/rust/core/store/global.rs +55 -38
  144. package/rust/core/store/mod.rs +5 -5
  145. package/rust/core/store/variable.rs +37 -34
  146. package/rust/core/utils/mod.rs +2 -2
  147. package/rust/core/utils/path.rs +37 -31
  148. package/rust/core/utils/validation.rs +35 -36
  149. package/rust/installer/addon.rs +84 -80
  150. package/rust/installer/bank.rs +62 -65
  151. package/rust/installer/mod.rs +5 -5
  152. package/rust/installer/plugin.rs +54 -55
  153. package/rust/installer/utils.rs +56 -56
  154. package/rust/lib.rs +156 -164
  155. package/rust/main.rs +250 -144
  156. package/rust/utils/error.rs +200 -51
  157. package/rust/utils/file.rs +38 -35
  158. package/rust/utils/first_usage.rs +76 -0
  159. package/rust/utils/logger.rs +195 -143
  160. package/rust/utils/mod.rs +9 -7
  161. package/rust/utils/signature.rs +19 -17
  162. package/rust/utils/spinner.rs +22 -19
  163. package/rust/utils/telemetry.rs +292 -0
  164. package/rust/utils/watcher.rs +34 -33
  165. package/templates/minimal/README.md +97 -121
  166. package/templates/welcome/README.md +97 -121
  167. package/typescript/bin/index.ts +19 -5
  168. package/typescript/index.ts +3 -1
  169. package/typescript/scripts/postbuild.ts +10 -6
  170. package/typescript/scripts/postinstall.ts +56 -0
  171. package/typescript/scripts/version/bump.ts +0 -1
  172. package/typescript/scripts/version/index.ts +0 -1
  173. package/out-tsc/bin/devalang.exe +0 -0
@@ -1,33 +1,36 @@
1
- use crate::core::{
2
- lexer::token::{ Token, TokenKind },
3
- parser::{ statement::{ Statement, StatementKind }, driver::Parser },
4
- shared::value::Value,
5
- store::global::GlobalStore,
6
- };
7
-
8
- pub fn parse_sleep_token(
9
- parser: &mut Parser,
10
- current_token: Token,
11
- _global_store: &mut GlobalStore
12
- ) -> Statement {
13
- parser.advance(); // consume "sleep"
14
-
15
- let duration = if let Some(token) = parser.peek_clone() {
16
- if token.kind == TokenKind::Number {
17
- parser.advance();
18
- token.lexeme.parse().unwrap_or(0.0)
19
- } else {
20
- return Statement::error(token, "Expected number after 'sleep'".to_string());
21
- }
22
- } else {
23
- return Statement::error(current_token, "Expected number after 'sleep'".to_string());
24
- };
25
-
26
- return Statement {
27
- kind: StatementKind::Sleep,
28
- value: Value::Number(duration),
29
- indent: current_token.indent,
30
- line: current_token.line,
31
- column: current_token.column,
32
- };
33
- }
1
+ use crate::core::{
2
+ lexer::token::{Token, TokenKind},
3
+ parser::{
4
+ driver::Parser,
5
+ statement::{Statement, StatementKind},
6
+ },
7
+ shared::value::Value,
8
+ store::global::GlobalStore,
9
+ };
10
+
11
+ pub fn parse_sleep_token(
12
+ parser: &mut Parser,
13
+ current_token: Token,
14
+ _global_store: &mut GlobalStore,
15
+ ) -> Statement {
16
+ parser.advance(); // consume "sleep"
17
+
18
+ let duration = if let Some(token) = parser.peek_clone() {
19
+ if token.kind == TokenKind::Number {
20
+ parser.advance();
21
+ token.lexeme.parse().unwrap_or(0.0)
22
+ } else {
23
+ return Statement::error(token, "Expected number after 'sleep'".to_string());
24
+ }
25
+ } else {
26
+ return Statement::error(current_token, "Expected number after 'sleep'".to_string());
27
+ };
28
+
29
+ return Statement {
30
+ kind: StatementKind::Sleep,
31
+ value: Value::Number(duration),
32
+ indent: current_token.indent,
33
+ line: current_token.line,
34
+ column: current_token.column,
35
+ };
36
+ }
@@ -1,88 +1,91 @@
1
- use crate::core::{
2
- lexer::token::{ Token, TokenKind },
3
- parser::{ statement::{ Statement, StatementKind }, driver::Parser },
4
- shared::value::Value,
5
- store::global::GlobalStore,
6
- };
7
-
8
- pub fn parse_spawn_token(
9
- parser: &mut Parser,
10
- current_token: Token,
11
- _global_store: &mut GlobalStore
12
- ) -> Statement {
13
- parser.advance(); // consume "spawn"
14
-
15
- // Expect function name
16
- let name_token = match parser.peek_clone() {
17
- Some(t) => t,
18
- None => {
19
- return Statement::error(
20
- current_token,
21
- "Expected function name after 'spawn'".to_string()
22
- );
23
- }
24
- };
25
-
26
- if name_token.kind != TokenKind::Identifier {
27
- return Statement::error(
28
- name_token,
29
- "Expected function name to be an identifier".to_string()
30
- );
31
- }
32
-
33
- let func_name = name_token.lexeme.clone();
34
- parser.advance(); // consume function name
35
-
36
- // Expect '('
37
- let mut args: Vec<Value> = Vec::new();
38
- if let Some(open_paren) = parser.peek_clone() {
39
- if open_paren.kind == TokenKind::LParen {
40
- parser.advance(); // consume '('
41
-
42
- // Collect args until ')'
43
- while let Some(token) = parser.peek_clone() {
44
- if token.kind == TokenKind::RParen {
45
- parser.advance(); // consume ')'
46
- break;
47
- }
48
-
49
- match token.kind {
50
- TokenKind::Number => {
51
- if let Ok(num) = token.lexeme.parse::<f32>() {
52
- args.push(Value::Number(num));
53
- }
54
- parser.advance();
55
- }
56
- TokenKind::String => {
57
- args.push(Value::String(token.lexeme.clone()));
58
- parser.advance();
59
- }
60
- TokenKind::Identifier => {
61
- args.push(Value::Identifier(token.lexeme.clone()));
62
- parser.advance();
63
- }
64
- TokenKind::Comma => {
65
- parser.advance(); // skip comma
66
- }
67
- _ => {
68
- return Statement::error(
69
- token,
70
- "Unexpected token in spawn arguments".to_string()
71
- );
72
- }
73
- }
74
- }
75
- }
76
- }
77
-
78
- Statement {
79
- kind: StatementKind::Spawn {
80
- name: func_name,
81
- args,
82
- },
83
- value: Value::Null,
84
- indent: current_token.indent,
85
- line: current_token.line,
86
- column: current_token.column,
87
- }
88
- }
1
+ use crate::core::{
2
+ lexer::token::{Token, TokenKind},
3
+ parser::{
4
+ driver::Parser,
5
+ statement::{Statement, StatementKind},
6
+ },
7
+ shared::value::Value,
8
+ store::global::GlobalStore,
9
+ };
10
+
11
+ pub fn parse_spawn_token(
12
+ parser: &mut Parser,
13
+ current_token: Token,
14
+ _global_store: &mut GlobalStore,
15
+ ) -> Statement {
16
+ parser.advance(); // consume "spawn"
17
+
18
+ // Expect function name
19
+ let name_token = match parser.peek_clone() {
20
+ Some(t) => t,
21
+ None => {
22
+ return Statement::error(
23
+ current_token,
24
+ "Expected function name after 'spawn'".to_string(),
25
+ );
26
+ }
27
+ };
28
+
29
+ if name_token.kind != TokenKind::Identifier {
30
+ return Statement::error(
31
+ name_token,
32
+ "Expected function name to be an identifier".to_string(),
33
+ );
34
+ }
35
+
36
+ let func_name = name_token.lexeme.clone();
37
+ parser.advance(); // consume function name
38
+
39
+ // Expect '('
40
+ let mut args: Vec<Value> = Vec::new();
41
+ if let Some(open_paren) = parser.peek_clone() {
42
+ if open_paren.kind == TokenKind::LParen {
43
+ parser.advance(); // consume '('
44
+
45
+ // Collect args until ')'
46
+ while let Some(token) = parser.peek_clone() {
47
+ if token.kind == TokenKind::RParen {
48
+ parser.advance(); // consume ')'
49
+ break;
50
+ }
51
+
52
+ match token.kind {
53
+ TokenKind::Number => {
54
+ if let Ok(num) = token.lexeme.parse::<f32>() {
55
+ args.push(Value::Number(num));
56
+ }
57
+ parser.advance();
58
+ }
59
+ TokenKind::String => {
60
+ args.push(Value::String(token.lexeme.clone()));
61
+ parser.advance();
62
+ }
63
+ TokenKind::Identifier => {
64
+ args.push(Value::Identifier(token.lexeme.clone()));
65
+ parser.advance();
66
+ }
67
+ TokenKind::Comma => {
68
+ parser.advance(); // skip comma
69
+ }
70
+ _ => {
71
+ return Statement::error(
72
+ token,
73
+ "Unexpected token in spawn arguments".to_string(),
74
+ );
75
+ }
76
+ }
77
+ }
78
+ }
79
+ }
80
+
81
+ Statement {
82
+ kind: StatementKind::Spawn {
83
+ name: func_name,
84
+ args,
85
+ },
86
+ value: Value::Null,
87
+ indent: current_token.indent,
88
+ line: current_token.line,
89
+ column: current_token.column,
90
+ }
91
+ }
@@ -1,63 +1,65 @@
1
- use std::collections::HashMap;
2
-
3
- use crate::core::{
4
- lexer::token::Token,
5
- parser::{ driver::Parser, statement::{ Statement, StatementKind } },
6
- shared::value::Value,
7
- store::global::GlobalStore,
8
- };
9
-
10
- pub fn parse_synth_token(
11
- parser: &mut Parser,
12
- _current_token: Token,
13
- _global_store: &mut GlobalStore
14
- ) -> Statement {
15
- parser.advance(); // consume 'synth'
16
-
17
- let Some(synth_token) = parser.previous_clone() else {
18
- return Statement::unknown();
19
- };
20
-
21
- // Expect an identifier (synth waveform)
22
- let Some(identifier_token) = parser.peek_clone() else {
23
- return Statement::error(synth_token, "Expected identifier after 'synth'".to_string());
24
- };
25
-
26
- let synth_waveform = identifier_token.lexeme.clone();
27
-
28
- parser.advance(); // consume identifier
29
-
30
- // Expect synth optional parameters map
31
- let parameters = if let Some(params) = parser.parse_map_value() {
32
- // If parameters are provided, we expect a map
33
- if let Value::Map(map) = params {
34
- map
35
- } else {
36
- return Statement::error(synth_token, "Expected a map for synth parameters".to_string());
37
- }
38
- } else {
39
- // If no parameters are provided, we can still create the statement with an empty map
40
- HashMap::new()
41
- };
42
-
43
- Statement {
44
- kind: StatementKind::Synth,
45
- value: Value::Map(
46
- HashMap::from([
47
- ("entity".to_string(), Value::String("synth".to_string())),
48
- (
49
- "value".to_string(),
50
- Value::Map(
51
- HashMap::from([
52
- ("waveform".to_string(), Value::String(synth_waveform)),
53
- ("parameters".to_string(), Value::Map(parameters)),
54
- ])
55
- ),
56
- ),
57
- ])
58
- ),
59
- indent: synth_token.indent,
60
- line: synth_token.line,
61
- column: synth_token.column,
62
- }
63
- }
1
+ use std::collections::HashMap;
2
+
3
+ use crate::core::{
4
+ lexer::token::Token,
5
+ parser::{
6
+ driver::Parser,
7
+ statement::{Statement, StatementKind},
8
+ },
9
+ shared::value::Value,
10
+ store::global::GlobalStore,
11
+ };
12
+
13
+ pub fn parse_synth_token(
14
+ parser: &mut Parser,
15
+ _current_token: Token,
16
+ _global_store: &mut GlobalStore,
17
+ ) -> Statement {
18
+ parser.advance(); // consume 'synth'
19
+
20
+ let Some(synth_token) = parser.previous_clone() else {
21
+ return Statement::unknown();
22
+ };
23
+
24
+ // Expect an identifier (synth waveform)
25
+ let Some(identifier_token) = parser.peek_clone() else {
26
+ return Statement::error(synth_token, "Expected identifier after 'synth'".to_string());
27
+ };
28
+
29
+ let synth_waveform = identifier_token.lexeme.clone();
30
+
31
+ parser.advance(); // consume identifier
32
+
33
+ // Expect synth optional parameters map
34
+ let parameters = if let Some(params) = parser.parse_map_value() {
35
+ // If parameters are provided, we expect a map
36
+ if let Value::Map(map) = params {
37
+ map
38
+ } else {
39
+ return Statement::error(
40
+ synth_token,
41
+ "Expected a map for synth parameters".to_string(),
42
+ );
43
+ }
44
+ } else {
45
+ // If no parameters are provided, we can still create the statement with an empty map
46
+ HashMap::new()
47
+ };
48
+
49
+ Statement {
50
+ kind: StatementKind::Synth,
51
+ value: Value::Map(HashMap::from([
52
+ ("entity".to_string(), Value::String("synth".to_string())),
53
+ (
54
+ "value".to_string(),
55
+ Value::Map(HashMap::from([
56
+ ("waveform".to_string(), Value::String(synth_waveform)),
57
+ ("parameters".to_string(), Value::Map(parameters)),
58
+ ])),
59
+ ),
60
+ ])),
61
+ indent: synth_token.indent,
62
+ line: synth_token.line,
63
+ column: synth_token.column,
64
+ }
65
+ }
@@ -1,89 +1,170 @@
1
- use crate::core::{
2
- lexer::{ token::TokenKind },
3
- parser::{ statement::{ Statement, StatementKind }, driver::Parser },
4
- shared::value::Value,
5
- store::global::GlobalStore,
6
- };
7
-
8
- pub fn parse_loop_token(parser: &mut Parser, global_store: &mut GlobalStore) -> Statement {
9
- parser.advance(); // consume 'loop' or 'for' (aliased in lexer)
10
- let Some(loop_token) = parser.previous_clone() else {
11
- return Statement::unknown();
12
- };
13
-
14
- // Support two forms:
15
- // 1) loop <count>:
16
- // 2) for <ident> in [a,b,c]:
17
-
18
- // Peek next to decide
19
- let Some(next_token) = parser.peek_clone() else {
20
- return Statement::error(loop_token, "Expected iterator after loop/for".to_string());
21
- };
22
-
23
- // Try to detect 'for <ident> in [array]:' form
24
- let mut foreach_ident: Option<String> = None;
25
- if let TokenKind::Identifier = next_token.kind {
26
- // Could be either count identifier (old form) or foreach variable
27
- // Look ahead for 'in'
28
- let name = next_token.lexeme.clone();
29
- // don't consume yet; we'll branch
30
- if let Some(t2) = parser.peek_nth(1) {
31
- if t2.kind == TokenKind::Identifier && t2.lexeme == "in" {
32
- // foreach form
33
- foreach_ident = Some(name);
34
- // consume ident and 'in'
35
- parser.advance();
36
- parser.advance();
37
- }
38
- }
39
- }
40
-
41
- if let Some(var_name) = foreach_ident {
42
- // Expect array literal
43
- let array_val = if let Some(v) = parser.parse_array_value() { v } else {
44
- return Statement::error(loop_token, "Expected array literal after 'in'".to_string());
45
- };
46
-
47
- // Expect ':'
48
- if !parser.match_token(TokenKind::Colon) {
49
- return Statement::error(loop_token, "Expected ':' after foreach header".to_string());
50
- }
51
-
52
- let tokens = parser.collect_until(|t| t.kind == TokenKind::Dedent || t.kind == TokenKind::EOF);
53
- let loop_body = parser.parse_block(tokens.clone(), global_store);
54
- if let Some(token) = parser.peek() { if token.kind == TokenKind::Dedent { parser.advance(); } }
55
-
56
- let mut value_map = std::collections::HashMap::new();
57
- value_map.insert("foreach".to_string(), Value::Identifier(var_name));
58
- value_map.insert("array".to_string(), array_val);
59
- value_map.insert("body".to_string(), Value::Block(loop_body.clone()));
60
-
61
- return Statement { kind: StatementKind::Loop, value: Value::Map(value_map), indent: loop_token.indent, line: loop_token.line, column: loop_token.column };
62
- }
63
-
64
- // Fallback to legacy: loop <count>:
65
- let Some(iterator_token) = parser.peek_clone() else {
66
- return Statement::error(loop_token, "Expected number or identifier after 'loop'".to_string());
67
- };
68
-
69
- let iterator_value = match iterator_token.kind {
70
- TokenKind::Number => { let val = iterator_token.lexeme.parse::<f32>().unwrap_or(1.0); parser.advance(); Value::Number(val) }
71
- TokenKind::Identifier => { let val = iterator_token.lexeme.clone(); parser.advance(); Value::Identifier(val) }
72
- _ => { return Statement::error(iterator_token.clone(), "Expected a number or identifier as loop count".to_string()); }
73
- };
74
-
75
- if !parser.match_token(TokenKind::Colon) {
76
- let message = format!("Expected ':' after loop count, got {:?}", parser.peek_kind());
77
- return Statement::error(loop_token.clone(), message);
78
- }
79
-
80
- let tokens = parser.collect_until(|t| t.kind == TokenKind::Dedent || t.kind == TokenKind::EOF);
81
- let loop_body = parser.parse_block(tokens.clone(), global_store);
82
- if let Some(token) = parser.peek() { if token.kind == TokenKind::Dedent { parser.advance(); } }
83
-
84
- let mut value_map = std::collections::HashMap::new();
85
- value_map.insert("iterator".to_string(), iterator_value);
86
- value_map.insert("body".to_string(), Value::Block(loop_body.clone()));
87
-
88
- Statement { kind: StatementKind::Loop, value: Value::Map(value_map), indent: loop_token.indent, line: loop_token.line, column: loop_token.column }
89
- }
1
+ use crate::core::{
2
+ lexer::token::TokenKind,
3
+ parser::{
4
+ driver::Parser,
5
+ statement::{Statement, StatementKind},
6
+ },
7
+ shared::value::Value,
8
+ store::global::GlobalStore,
9
+ };
10
+
11
+ pub fn parse_loop_token(parser: &mut Parser, global_store: &mut GlobalStore) -> Statement {
12
+ parser.advance(); // consume 'loop' or 'for' (aliased in lexer)
13
+ let Some(loop_token) = parser.previous_clone() else {
14
+ return Statement::unknown();
15
+ };
16
+
17
+ // Support two forms:
18
+ // 1) loop <count>:
19
+ // 2) for <ident> in [a,b,c]:
20
+
21
+ // Peek next to decide
22
+ let Some(next_token) = parser.peek_clone() else {
23
+ return Statement::error(loop_token, "Expected iterator after loop/for".to_string());
24
+ };
25
+
26
+ // Try to detect 'for <ident> in [array]:' form
27
+ let mut foreach_ident: Option<String> = None;
28
+ if let TokenKind::Identifier = next_token.kind {
29
+ // Could be either count identifier (old form) or foreach variable
30
+ // Look ahead for 'in'
31
+ let name = next_token.lexeme.clone();
32
+ // don't consume yet; we'll branch
33
+ if let Some(t2) = parser.peek_nth(1) {
34
+ if t2.kind == TokenKind::Identifier && t2.lexeme == "in" {
35
+ // foreach form
36
+ foreach_ident = Some(name);
37
+ // consume ident and 'in'
38
+ parser.advance();
39
+ parser.advance();
40
+ }
41
+ }
42
+ }
43
+
44
+ if let Some(var_name) = foreach_ident {
45
+ // Expect [array] OR number OR string OR identifier after 'in'
46
+ let array_val = if let Some(tok) = parser.peek_clone() {
47
+ match tok.kind {
48
+ TokenKind::LBracket => {
49
+ if let Some(v) = parser.parse_array_value() {
50
+ v
51
+ } else {
52
+ Value::Array(vec![])
53
+ }
54
+ }
55
+ TokenKind::Number => {
56
+ parser.advance();
57
+ let n = tok.lexeme.parse::<f32>().unwrap_or(0.0);
58
+ Value::Number(n)
59
+ }
60
+ TokenKind::String => {
61
+ parser.advance();
62
+ Value::String(tok.lexeme.clone())
63
+ }
64
+ TokenKind::Identifier => {
65
+ parser.advance();
66
+ Value::Identifier(tok.lexeme.clone())
67
+ }
68
+ _ => {
69
+ return Statement::error(
70
+ loop_token,
71
+ "Expected array, number, string or identifier after 'in'".to_string(),
72
+ );
73
+ }
74
+ }
75
+ } else {
76
+ return Statement::error(
77
+ loop_token,
78
+ "Expected array, number, string or identifier after 'in'".to_string(),
79
+ );
80
+ };
81
+
82
+ // Expect ':'
83
+ if !parser.match_token(TokenKind::Colon) {
84
+ return Statement::error(loop_token, "Expected ':' after foreach header".to_string());
85
+ }
86
+
87
+ let tokens =
88
+ parser.collect_until(|t| t.kind == TokenKind::Dedent || t.kind == TokenKind::EOF);
89
+ let loop_body = parser.parse_block(tokens.clone(), global_store);
90
+ if let Some(token) = parser.peek() {
91
+ if token.kind == TokenKind::Dedent {
92
+ parser.advance();
93
+ }
94
+ }
95
+
96
+ let mut value_map = std::collections::HashMap::new();
97
+ value_map.insert("foreach".to_string(), Value::Identifier(var_name));
98
+ value_map.insert("array".to_string(), array_val);
99
+ value_map.insert("body".to_string(), Value::Block(loop_body.clone()));
100
+
101
+ return Statement {
102
+ kind: StatementKind::Loop,
103
+ value: Value::Map(value_map),
104
+ indent: loop_token.indent,
105
+ line: loop_token.line,
106
+ column: loop_token.column,
107
+ };
108
+ }
109
+
110
+ // Fallback to legacy: loop <count>:
111
+ let Some(iterator_token) = parser.peek_clone() else {
112
+ return Statement::error(
113
+ loop_token,
114
+ "Expected number or identifier after 'loop'".to_string(),
115
+ );
116
+ };
117
+
118
+ let iterator_value = match iterator_token.kind {
119
+ TokenKind::Number => {
120
+ let val = iterator_token.lexeme.parse::<f32>().unwrap_or(1.0);
121
+ parser.advance();
122
+ Value::Number(val)
123
+ }
124
+ TokenKind::Identifier => {
125
+ let val = iterator_token.lexeme.clone();
126
+ parser.advance();
127
+ Value::Identifier(val)
128
+ }
129
+ TokenKind::String => {
130
+ // strings that are numeric (e.g. "10")
131
+ let s = iterator_token.lexeme.clone();
132
+ parser.advance();
133
+ Value::String(s)
134
+ }
135
+ _ => {
136
+ return Statement::error(
137
+ iterator_token.clone(),
138
+ "Expected a number, string or identifier as loop count".to_string(),
139
+ );
140
+ }
141
+ };
142
+
143
+ if !parser.match_token(TokenKind::Colon) {
144
+ let message = format!(
145
+ "Expected ':' after loop count, got {:?}",
146
+ parser.peek_kind()
147
+ );
148
+ return Statement::error(loop_token.clone(), message);
149
+ }
150
+
151
+ let tokens = parser.collect_until(|t| t.kind == TokenKind::Dedent || t.kind == TokenKind::EOF);
152
+ let loop_body = parser.parse_block(tokens.clone(), global_store);
153
+ if let Some(token) = parser.peek() {
154
+ if token.kind == TokenKind::Dedent {
155
+ parser.advance();
156
+ }
157
+ }
158
+
159
+ let mut value_map = std::collections::HashMap::new();
160
+ value_map.insert("iterator".to_string(), iterator_value);
161
+ value_map.insert("body".to_string(), Value::Block(loop_body.clone()));
162
+
163
+ Statement {
164
+ kind: StatementKind::Loop,
165
+ value: Value::Map(value_map),
166
+ indent: loop_token.indent,
167
+ line: loop_token.line,
168
+ column: loop_token.column,
169
+ }
170
+ }