@devaloop/devalang 0.0.1-beta.1 → 0.0.1-beta.2

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 (220) hide show
  1. package/.devalang +9 -10
  2. package/Cargo.toml +5 -4
  3. package/README.md +7 -5
  4. package/docs/CHANGELOG.md +42 -0
  5. package/docs/ROADMAP.md +5 -1
  6. package/docs/TODO.md +3 -14
  7. package/examples/bus.deva +10 -0
  8. package/examples/effect.deva +2 -0
  9. package/examples/filter.deva +11 -0
  10. package/examples/lfo.deva +9 -0
  11. package/examples/synth.deva +11 -1
  12. package/examples/synth_types.deva +17 -0
  13. package/out-tsc/core/functions/index.d.ts +5 -0
  14. package/out-tsc/core/functions/index.js +11 -0
  15. package/out-tsc/pkg/devalang_core.d.ts +2 -0
  16. package/out-tsc/pkg/devalang_core.js +17 -2
  17. package/out-tsc/pkg/devalang_core_bg.wasm.d.ts +8 -7
  18. package/package.json +1 -1
  19. package/project-version.json +3 -3
  20. package/rust/cli/bank/api.rs +122 -122
  21. package/rust/cli/bank/commands.rs +33 -2
  22. package/rust/cli/bank/mod.rs +29 -29
  23. package/rust/cli/build/commands.rs +53 -3
  24. package/rust/cli/build/mod.rs +2 -2
  25. package/rust/cli/build/process.rs +26 -7
  26. package/rust/cli/check/mod.rs +2 -2
  27. package/rust/cli/discover/commands.rs +253 -253
  28. package/rust/cli/discover/config.rs +111 -111
  29. package/rust/cli/discover/fs.rs +19 -19
  30. package/rust/cli/discover/install.rs +103 -103
  31. package/rust/cli/discover/metadata.rs +48 -48
  32. package/rust/cli/discover/mod.rs +5 -5
  33. package/rust/cli/install/addon.rs +118 -118
  34. package/rust/cli/install/bank.rs +22 -3
  35. package/rust/cli/install/commands.rs +35 -35
  36. package/rust/cli/install/mod.rs +4 -4
  37. package/rust/cli/install/plugin.rs +80 -61
  38. package/rust/cli/login/commands.rs +124 -124
  39. package/rust/cli/mod.rs +12 -12
  40. package/rust/cli/parser.rs +46 -1
  41. package/rust/cli/play/commands.rs +71 -20
  42. package/rust/cli/play/mod.rs +5 -5
  43. package/rust/cli/play/process.rs +14 -5
  44. package/rust/cli/play/realtime.rs +91 -91
  45. package/rust/cli/telemetry/commands.rs +22 -22
  46. package/rust/cli/telemetry/event_creator.rs +80 -80
  47. package/rust/cli/telemetry/mod.rs +3 -3
  48. package/rust/cli/telemetry/send.rs +51 -51
  49. package/rust/cli/template/commands.rs +69 -69
  50. package/rust/config/driver.rs +112 -103
  51. package/rust/config/mod.rs +3 -3
  52. package/rust/config/ops.rs +26 -26
  53. package/rust/config/settings.rs +101 -101
  54. package/rust/core/audio/engine/driver.rs +220 -0
  55. package/rust/core/audio/engine/export.rs +169 -0
  56. package/rust/core/audio/engine/helpers.rs +178 -170
  57. package/rust/core/audio/engine/mod.rs +51 -2
  58. package/rust/core/audio/engine/notes/dsp.rs +85 -0
  59. package/rust/core/audio/engine/notes/mod.rs +44 -0
  60. package/rust/core/audio/engine/notes/params.rs +294 -0
  61. package/rust/core/audio/engine/sample/insert.rs +199 -0
  62. package/rust/core/audio/engine/sample/mod.rs +40 -0
  63. package/rust/core/audio/engine/sample/padding.rs +170 -0
  64. package/rust/core/audio/evaluator/condition.rs +61 -0
  65. package/rust/core/audio/evaluator/mod.rs +9 -0
  66. package/rust/core/audio/{evaluator.rs → evaluator/numeric.rs} +1 -159
  67. package/rust/core/audio/evaluator/rhs.rs +16 -0
  68. package/rust/core/audio/evaluator/string_expr.rs +94 -0
  69. package/rust/core/audio/interpreter/driver.rs +55 -23
  70. package/rust/core/audio/interpreter/mod.rs +1 -13
  71. package/rust/core/audio/interpreter/statements/arrow_call/interprete.rs +175 -0
  72. package/rust/core/audio/interpreter/statements/arrow_call/methods/chord.rs +384 -0
  73. package/rust/core/audio/interpreter/statements/arrow_call/methods/mod.rs +2 -0
  74. package/rust/core/audio/interpreter/statements/arrow_call/methods/note.rs +316 -0
  75. package/rust/core/audio/interpreter/statements/arrow_call/mod.rs +3 -0
  76. package/rust/core/audio/interpreter/statements/arrow_call/types/arp.rs +192 -0
  77. package/rust/core/audio/interpreter/statements/arrow_call/types/mod.rs +24 -0
  78. package/rust/core/audio/interpreter/statements/arrow_call/types/pad.rs +116 -0
  79. package/rust/core/audio/interpreter/statements/arrow_call/types/pluck.rs +97 -0
  80. package/rust/core/audio/interpreter/statements/arrow_call/types/sub.rs +100 -0
  81. package/rust/core/audio/interpreter/{automate.rs → statements/automate.rs} +16 -18
  82. package/rust/core/audio/interpreter/{call.rs → statements/call.rs} +5 -4
  83. package/rust/core/audio/interpreter/{condition.rs → statements/condition.rs} +2 -1
  84. package/rust/core/audio/interpreter/{function.rs → statements/function.rs} +2 -4
  85. package/rust/core/audio/interpreter/{let_.rs → statements/let_.rs} +2 -4
  86. package/rust/core/audio/interpreter/{load.rs → statements/load.rs} +2 -4
  87. package/rust/core/audio/interpreter/{loop_.rs → statements/loop_.rs} +2 -1
  88. package/rust/core/audio/interpreter/statements/mod.rs +12 -0
  89. package/rust/core/audio/interpreter/{sleep.rs → statements/sleep.rs} +28 -28
  90. package/rust/core/audio/interpreter/{spawn.rs → statements/spawn.rs} +3 -2
  91. package/rust/core/audio/interpreter/{tempo.rs → statements/tempo.rs} +40 -40
  92. package/rust/core/audio/interpreter/{trigger.rs → statements/trigger.rs} +1 -1
  93. package/rust/core/audio/loader/trigger.rs +2 -1
  94. package/rust/core/audio/mod.rs +6 -7
  95. package/rust/core/audio/player.rs +70 -70
  96. package/rust/core/audio/special/easing.rs +189 -189
  97. package/rust/core/audio/special/env.rs +45 -45
  98. package/rust/core/audio/special/math.rs +134 -134
  99. package/rust/core/audio/special/mod.rs +9 -9
  100. package/rust/core/audio/special/modulator.rs +143 -143
  101. package/rust/core/builder/mod.rs +45 -2
  102. package/rust/core/debugger/lexer.rs +27 -27
  103. package/rust/core/debugger/{module.rs → logs.rs} +3 -6
  104. package/rust/core/debugger/mod.rs +30 -30
  105. package/rust/core/debugger/preprocessor.rs +27 -27
  106. package/rust/core/debugger/store.rs +2 -4
  107. package/rust/core/error/mod.rs +269 -269
  108. package/rust/core/lexer/driver.rs +59 -61
  109. package/rust/core/lexer/handler/arrow.rs +82 -82
  110. package/rust/core/lexer/handler/at.rs +21 -21
  111. package/rust/core/lexer/handler/brace.rs +41 -41
  112. package/rust/core/lexer/handler/colon.rs +21 -21
  113. package/rust/core/lexer/handler/comment.rs +30 -30
  114. package/rust/core/lexer/handler/dot.rs +21 -21
  115. package/rust/core/lexer/handler/driver.rs +337 -337
  116. package/rust/core/lexer/handler/identifier.rs +47 -47
  117. package/rust/core/lexer/handler/indent.rs +66 -66
  118. package/rust/core/lexer/handler/mod.rs +15 -15
  119. package/rust/core/lexer/handler/newline.rs +23 -23
  120. package/rust/core/lexer/handler/number.rs +31 -31
  121. package/rust/core/lexer/handler/operator.rs +46 -46
  122. package/rust/core/lexer/handler/parenthesis.rs +41 -41
  123. package/rust/core/lexer/handler/slash.rs +21 -21
  124. package/rust/core/lexer/handler/string.rs +63 -63
  125. package/rust/core/lexer/mod.rs +3 -3
  126. package/rust/core/mod.rs +0 -1
  127. package/rust/core/parser/driver/block.rs +111 -0
  128. package/rust/core/parser/driver/cursor.rs +82 -0
  129. package/rust/core/parser/driver/driver_impl.rs +139 -0
  130. package/rust/core/parser/driver/mod.rs +6 -0
  131. package/rust/core/parser/driver/parse_array.rs +120 -0
  132. package/rust/core/parser/driver/parse_map.rs +223 -0
  133. package/rust/core/parser/driver/parser.rs +160 -0
  134. package/rust/core/parser/handler/arrow_call.rs +28 -4
  135. package/rust/core/parser/handler/at.rs +279 -279
  136. package/rust/core/parser/handler/bank.rs +104 -104
  137. package/rust/core/parser/handler/condition.rs +83 -83
  138. package/rust/core/parser/handler/dot.rs +148 -148
  139. package/rust/core/parser/handler/identifier/automate.rs +254 -254
  140. package/rust/core/parser/handler/identifier/call.rs +91 -91
  141. package/rust/core/parser/handler/identifier/emit.rs +70 -70
  142. package/rust/core/parser/handler/identifier/function.rs +113 -113
  143. package/rust/core/parser/handler/identifier/group.rs +89 -89
  144. package/rust/core/parser/handler/identifier/let_.rs +173 -173
  145. package/rust/core/parser/handler/identifier/mod.rs +55 -55
  146. package/rust/core/parser/handler/identifier/on.rs +107 -107
  147. package/rust/core/parser/handler/identifier/print.rs +49 -49
  148. package/rust/core/parser/handler/identifier/sleep.rs +96 -43
  149. package/rust/core/parser/handler/identifier/spawn.rs +91 -91
  150. package/rust/core/parser/handler/identifier/synth.rs +135 -135
  151. package/rust/core/parser/handler/loop_.rs +194 -194
  152. package/rust/core/parser/handler/mod.rs +9 -9
  153. package/rust/core/parser/handler/pattern.rs +1 -1
  154. package/rust/core/parser/handler/tempo.rs +105 -57
  155. package/rust/core/parser/statement.rs +10 -11
  156. package/rust/core/plugin/loader.rs +1 -1
  157. package/rust/core/plugin/mod.rs +2 -2
  158. package/rust/core/plugin/runner/mod.rs +11 -0
  159. package/rust/core/plugin/{runner.rs → runner/non_wasm.rs} +297 -347
  160. package/rust/core/plugin/runner/wasm32.rs +43 -0
  161. package/rust/core/preprocessor/loader/inject.rs +278 -0
  162. package/rust/core/preprocessor/loader/loader_helpers.rs +110 -0
  163. package/rust/core/preprocessor/loader/mod.rs +235 -0
  164. package/rust/core/preprocessor/module.rs +2 -7
  165. package/rust/core/preprocessor/{processor.rs → processor/handlers.rs} +6 -13
  166. package/rust/core/preprocessor/processor/mod.rs +1 -0
  167. package/rust/core/preprocessor/resolver/bank.rs +49 -49
  168. package/rust/core/preprocessor/resolver/call.rs +124 -124
  169. package/rust/core/preprocessor/resolver/condition.rs +95 -95
  170. package/rust/core/preprocessor/resolver/driver.rs +324 -324
  171. package/rust/core/preprocessor/resolver/function.rs +2 -2
  172. package/rust/core/preprocessor/resolver/group.rs +46 -18
  173. package/rust/core/preprocessor/resolver/let_.rs +32 -32
  174. package/rust/core/preprocessor/resolver/loop_.rs +318 -318
  175. package/rust/core/preprocessor/resolver/mod.rs +16 -16
  176. package/rust/core/preprocessor/resolver/pattern.rs +83 -83
  177. package/rust/core/preprocessor/resolver/spawn.rs +99 -99
  178. package/rust/core/preprocessor/resolver/synth.rs +54 -54
  179. package/rust/core/preprocessor/resolver/tempo.rs +48 -48
  180. package/rust/core/preprocessor/resolver/trigger.rs +116 -116
  181. package/rust/core/preprocessor/resolver/value.rs +176 -176
  182. package/rust/core/store/global.rs +2 -6
  183. package/rust/core/store/mod.rs +1 -5
  184. package/rust/lib.rs +18 -3
  185. package/rust/main.rs +27 -3
  186. package/rust/types/Cargo.toml +1 -1
  187. package/rust/types/src/addons.rs +55 -55
  188. package/rust/types/src/config.rs +84 -74
  189. package/rust/types/src/lib.rs +15 -12
  190. package/rust/types/src/plugin.rs +20 -0
  191. package/rust/types/src/store.rs +139 -0
  192. package/rust/types/src/telemetry.rs +85 -85
  193. package/rust/utils/Cargo.toml +2 -2
  194. package/rust/utils/src/file.rs +94 -94
  195. package/rust/utils/src/first_usage.rs +97 -97
  196. package/rust/utils/src/lib.rs +9 -9
  197. package/rust/utils/src/logger.rs +200 -200
  198. package/rust/utils/src/path.rs +129 -88
  199. package/rust/utils/src/signature.rs +41 -41
  200. package/rust/utils/src/spinner.rs +20 -20
  201. package/rust/utils/src/version.rs +27 -27
  202. package/rust/utils/src/watcher.rs +46 -46
  203. package/rust/web/api.rs +5 -5
  204. package/rust/web/cdn.rs +34 -34
  205. package/rust/web/mod.rs +3 -3
  206. package/tests/integration.rs +21 -21
  207. package/typescript/core/functions/index.ts +11 -0
  208. package/typescript/pkg/devalang_core.ts +20 -4
  209. package/rust/core/audio/engine/sample.rs +0 -366
  210. package/rust/core/audio/engine/synth.rs +0 -325
  211. package/rust/core/audio/interpreter/arrow_call.rs +0 -311
  212. package/rust/core/audio/renderer.rs +0 -54
  213. package/rust/core/parser/driver.rs +0 -584
  214. package/rust/core/preprocessor/loader.rs +0 -637
  215. package/rust/core/store/export.rs +0 -28
  216. package/rust/core/store/function.rs +0 -40
  217. package/rust/core/store/import.rs +0 -28
  218. package/rust/core/store/variable.rs +0 -51
  219. package/rust/core/utils/mod.rs +0 -1
  220. package/rust/core/utils/path.rs +0 -37
@@ -1,135 +1,135 @@
1
- use std::collections::HashMap;
2
-
3
- use devalang_types::Value;
4
-
5
- use crate::core::{
6
- lexer::token::Token,
7
- parser::{
8
- driver::Parser,
9
- handler::dot::parse_dot_token,
10
- statement::{Statement, StatementKind},
11
- },
12
- store::global::GlobalStore,
13
- };
14
-
15
- pub fn parse_synth_token(
16
- parser: &mut Parser,
17
- _current_token: Token,
18
- _global_store: &mut GlobalStore,
19
- ) -> Statement {
20
- parser.advance(); // consume 'synth'
21
-
22
- let Some(synth_token) = parser.previous_clone() else {
23
- return Statement::unknown();
24
- };
25
-
26
- // Expect a provider/waveform identifier (can be dotted: alias.synth)
27
- // Also accept a dot-led entity by delegating to the dot parser (e.g. .module.export)
28
- let synth_waveform = if let Some(first_token) = parser.peek_clone() {
29
- use crate::core::lexer::token::TokenKind;
30
-
31
- if first_token.kind == TokenKind::Dot {
32
- // Parse dot-entity and extract its entity string
33
- let dot_stmt = parse_dot_token(parser, _global_store);
34
- // Extract entity if the parsed statement is a Trigger
35
- match dot_stmt.kind {
36
- StatementKind::Trigger { entity, .. } => entity,
37
- _ => String::new(),
38
- }
39
- } else {
40
- if first_token.kind != crate::core::lexer::token::TokenKind::Identifier
41
- && first_token.kind != crate::core::lexer::token::TokenKind::Number
42
- && first_token.kind != crate::core::lexer::token::TokenKind::Synth
43
- {
44
- return crate::core::parser::statement::error_from_token(
45
- first_token.clone(),
46
- "Expected identifier after 'synth'".to_string(),
47
- );
48
- }
49
-
50
- // Collect dotted parts on the same line
51
- let mut parts: Vec<String> = Vec::new();
52
- let current_line = first_token.line;
53
- loop {
54
- let Some(tok) = parser.peek_clone() else {
55
- break;
56
- };
57
- if tok.line != current_line {
58
- break;
59
- }
60
- match tok.kind {
61
- crate::core::lexer::token::TokenKind::Identifier
62
- | crate::core::lexer::token::TokenKind::Number
63
- | crate::core::lexer::token::TokenKind::Synth => {
64
- parts.push(tok.lexeme.clone());
65
- parser.advance();
66
- // If next isn't a dot on same line, stop
67
- if let Some(next) = parser.peek_clone() {
68
- if !(next.line == current_line
69
- && next.kind == crate::core::lexer::token::TokenKind::Dot)
70
- {
71
- break;
72
- }
73
- } else {
74
- break;
75
- }
76
- }
77
- crate::core::lexer::token::TokenKind::Dot => {
78
- parser.advance();
79
- }
80
- _ => break,
81
- }
82
- }
83
-
84
- parts.join(".")
85
- }
86
- } else {
87
- return crate::core::parser::statement::error_from_token(
88
- synth_token,
89
- "Expected identifier after 'synth'".to_string(),
90
- );
91
- };
92
-
93
- // Skip formatting before optional parameters map
94
- while parser.check_token(crate::core::lexer::token::TokenKind::Newline)
95
- || parser.check_token(crate::core::lexer::token::TokenKind::Indent)
96
- || parser.check_token(crate::core::lexer::token::TokenKind::Dedent)
97
- || parser.check_token(crate::core::lexer::token::TokenKind::Whitespace)
98
- {
99
- parser.advance();
100
- }
101
-
102
- // Expect synth optional parameters map
103
- let parameters = if let Some(params) = parser.parse_map_value() {
104
- // If parameters are provided, we expect a map
105
- if let Value::Map(map) = params {
106
- map
107
- } else {
108
- return crate::core::parser::statement::error_from_token(
109
- synth_token,
110
- "Expected a map for synth parameters".to_string(),
111
- );
112
- }
113
- } else {
114
- // If no parameters are provided, we can still create the statement with an empty map
115
- HashMap::new()
116
- };
117
-
118
- Statement {
119
- kind: StatementKind::Synth,
120
- value: Value::Map(HashMap::from([
121
- ("entity".to_string(), Value::String("synth".to_string())),
122
- (
123
- "value".to_string(),
124
- Value::Map(HashMap::from([
125
- // Store waveform as identifier to allow resolution from variables/exports
126
- ("waveform".to_string(), Value::Identifier(synth_waveform)),
127
- ("parameters".to_string(), Value::Map(parameters)),
128
- ])),
129
- ),
130
- ])),
131
- indent: synth_token.indent,
132
- line: synth_token.line,
133
- column: synth_token.column,
134
- }
135
- }
1
+ use std::collections::HashMap;
2
+
3
+ use devalang_types::Value;
4
+
5
+ use crate::core::{
6
+ lexer::token::Token,
7
+ parser::{
8
+ driver::parser::Parser,
9
+ handler::dot::parse_dot_token,
10
+ statement::{Statement, StatementKind},
11
+ },
12
+ store::global::GlobalStore,
13
+ };
14
+
15
+ pub fn parse_synth_token(
16
+ parser: &mut Parser,
17
+ _current_token: Token,
18
+ _global_store: &mut GlobalStore,
19
+ ) -> Statement {
20
+ parser.advance(); // consume 'synth'
21
+
22
+ let Some(synth_token) = parser.previous_clone() else {
23
+ return Statement::unknown();
24
+ };
25
+
26
+ // Expect a provider/waveform identifier (can be dotted: alias.synth)
27
+ // Also accept a dot-led entity by delegating to the dot parser (e.g. .module.export)
28
+ let synth_waveform = if let Some(first_token) = parser.peek_clone() {
29
+ use crate::core::lexer::token::TokenKind;
30
+
31
+ if first_token.kind == TokenKind::Dot {
32
+ // Parse dot-entity and extract its entity string
33
+ let dot_stmt = parse_dot_token(parser, _global_store);
34
+ // Extract entity if the parsed statement is a Trigger
35
+ match dot_stmt.kind {
36
+ StatementKind::Trigger { entity, .. } => entity,
37
+ _ => String::new(),
38
+ }
39
+ } else {
40
+ if first_token.kind != crate::core::lexer::token::TokenKind::Identifier
41
+ && first_token.kind != crate::core::lexer::token::TokenKind::Number
42
+ && first_token.kind != crate::core::lexer::token::TokenKind::Synth
43
+ {
44
+ return crate::core::parser::statement::error_from_token(
45
+ first_token.clone(),
46
+ "Expected identifier after 'synth'".to_string(),
47
+ );
48
+ }
49
+
50
+ // Collect dotted parts on the same line
51
+ let mut parts: Vec<String> = Vec::new();
52
+ let current_line = first_token.line;
53
+ loop {
54
+ let Some(tok) = parser.peek_clone() else {
55
+ break;
56
+ };
57
+ if tok.line != current_line {
58
+ break;
59
+ }
60
+ match tok.kind {
61
+ crate::core::lexer::token::TokenKind::Identifier
62
+ | crate::core::lexer::token::TokenKind::Number
63
+ | crate::core::lexer::token::TokenKind::Synth => {
64
+ parts.push(tok.lexeme.clone());
65
+ parser.advance();
66
+ // If next isn't a dot on same line, stop
67
+ if let Some(next) = parser.peek_clone() {
68
+ if !(next.line == current_line
69
+ && next.kind == crate::core::lexer::token::TokenKind::Dot)
70
+ {
71
+ break;
72
+ }
73
+ } else {
74
+ break;
75
+ }
76
+ }
77
+ crate::core::lexer::token::TokenKind::Dot => {
78
+ parser.advance();
79
+ }
80
+ _ => break,
81
+ }
82
+ }
83
+
84
+ parts.join(".")
85
+ }
86
+ } else {
87
+ return crate::core::parser::statement::error_from_token(
88
+ synth_token,
89
+ "Expected identifier after 'synth'".to_string(),
90
+ );
91
+ };
92
+
93
+ // Skip formatting before optional parameters map
94
+ while parser.check_token(crate::core::lexer::token::TokenKind::Newline)
95
+ || parser.check_token(crate::core::lexer::token::TokenKind::Indent)
96
+ || parser.check_token(crate::core::lexer::token::TokenKind::Dedent)
97
+ || parser.check_token(crate::core::lexer::token::TokenKind::Whitespace)
98
+ {
99
+ parser.advance();
100
+ }
101
+
102
+ // Expect synth optional parameters map
103
+ let parameters = if let Some(params) = parser.parse_map_value() {
104
+ // If parameters are provided, we expect a map
105
+ if let Value::Map(map) = params {
106
+ map
107
+ } else {
108
+ return crate::core::parser::statement::error_from_token(
109
+ synth_token,
110
+ "Expected a map for synth parameters".to_string(),
111
+ );
112
+ }
113
+ } else {
114
+ // If no parameters are provided, we can still create the statement with an empty map
115
+ HashMap::new()
116
+ };
117
+
118
+ Statement {
119
+ kind: StatementKind::Synth,
120
+ value: Value::Map(HashMap::from([
121
+ ("entity".to_string(), Value::String("synth".to_string())),
122
+ (
123
+ "value".to_string(),
124
+ Value::Map(HashMap::from([
125
+ // Store waveform as identifier to allow resolution from variables/exports
126
+ ("waveform".to_string(), Value::Identifier(synth_waveform)),
127
+ ("parameters".to_string(), Value::Map(parameters)),
128
+ ])),
129
+ ),
130
+ ])),
131
+ indent: synth_token.indent,
132
+ line: synth_token.line,
133
+ column: synth_token.column,
134
+ }
135
+ }
@@ -1,194 +1,194 @@
1
- use devalang_types::Value;
2
-
3
- use crate::core::{
4
- lexer::token::TokenKind,
5
- parser::{
6
- driver::Parser,
7
- statement::{Statement, StatementKind},
8
- },
9
- store::global::GlobalStore,
10
- };
11
-
12
- pub fn parse_loop_token(parser: &mut Parser, global_store: &mut GlobalStore) -> Statement {
13
- parser.advance(); // consume 'loop' or 'for' (aliased in lexer)
14
- let Some(loop_token) = parser.previous_clone() else {
15
- return Statement::unknown();
16
- };
17
-
18
- // Support two forms:
19
- // 1) loop <count>:
20
- // 2) for <ident> in [a,b,c]:
21
-
22
- // Peek next to decide
23
- let Some(next_token) = parser.peek_clone() else {
24
- return Statement::error_with_pos(
25
- loop_token.indent,
26
- loop_token.line,
27
- loop_token.column,
28
- "Expected iterator after loop/for".to_string(),
29
- );
30
- };
31
-
32
- // Try to detect 'for <ident> in [array]:' form
33
- let mut foreach_ident: Option<String> = None;
34
- if let TokenKind::Identifier = next_token.kind {
35
- // Could be either count identifier (old form) or foreach variable
36
- // Look ahead for 'in'
37
- let name = next_token.lexeme.clone();
38
- // don't consume yet; we'll branch
39
- if let Some(t2) = parser.peek_nth(1) {
40
- if t2.kind == TokenKind::Identifier && t2.lexeme == "in" {
41
- // foreach form
42
- foreach_ident = Some(name);
43
- // consume ident and 'in'
44
- parser.advance();
45
- parser.advance();
46
- }
47
- }
48
- }
49
-
50
- if let Some(var_name) = foreach_ident {
51
- // Expect [array] OR number OR string OR identifier after 'in'
52
- let array_val = if let Some(tok) = parser.peek_clone() {
53
- match tok.kind {
54
- TokenKind::LBracket => {
55
- if let Some(v) = parser.parse_array_value() {
56
- v
57
- } else {
58
- Value::Array(vec![])
59
- }
60
- }
61
- TokenKind::Number => {
62
- parser.advance();
63
- let n = tok.lexeme.parse::<f32>().unwrap_or(0.0);
64
- Value::Number(n)
65
- }
66
- TokenKind::String => {
67
- parser.advance();
68
- Value::String(tok.lexeme.clone())
69
- }
70
- TokenKind::Identifier => {
71
- parser.advance();
72
- Value::Identifier(tok.lexeme.clone())
73
- }
74
- _ => {
75
- return Statement::error_with_pos(
76
- loop_token.indent,
77
- loop_token.line,
78
- loop_token.column,
79
- "Expected array, number, string or identifier after 'in'".to_string(),
80
- );
81
- }
82
- }
83
- } else {
84
- return Statement::error_with_pos(
85
- loop_token.indent,
86
- loop_token.line,
87
- loop_token.column,
88
- "Expected array, number, string or identifier after 'in'".to_string(),
89
- );
90
- };
91
-
92
- // Expect ':'
93
- if !parser.match_token(TokenKind::Colon) {
94
- return Statement::error_with_pos(
95
- loop_token.indent,
96
- loop_token.line,
97
- loop_token.column,
98
- "Expected ':' after foreach header".to_string(),
99
- );
100
- }
101
-
102
- let tokens =
103
- parser.collect_until(|t| t.kind == TokenKind::Dedent || t.kind == TokenKind::EOF);
104
- let loop_body = parser.parse_block(tokens.clone(), global_store);
105
- if let Some(token) = parser.peek() {
106
- if token.kind == TokenKind::Dedent {
107
- parser.advance();
108
- }
109
- }
110
-
111
- let mut value_map = std::collections::HashMap::new();
112
- value_map.insert("foreach".to_string(), Value::Identifier(var_name));
113
- value_map.insert("array".to_string(), array_val);
114
- value_map.insert("body".to_string(), Value::Block(loop_body.clone()));
115
-
116
- return Statement {
117
- kind: StatementKind::Loop,
118
- value: Value::Map(value_map),
119
- indent: loop_token.indent,
120
- line: loop_token.line,
121
- column: loop_token.column,
122
- };
123
- }
124
-
125
- // Fallback to legacy: loop <count>:
126
- let Some(iterator_token) = parser.peek_clone() else {
127
- return Statement::error_with_pos(
128
- loop_token.indent,
129
- loop_token.line,
130
- loop_token.column,
131
- "Expected number or identifier after 'loop'".to_string(),
132
- );
133
- };
134
-
135
- let iterator_value = match iterator_token.kind {
136
- TokenKind::Number => {
137
- let val = iterator_token.lexeme.parse::<f32>().unwrap_or(1.0);
138
- parser.advance();
139
- Value::Number(val)
140
- }
141
- TokenKind::Identifier => {
142
- let val = iterator_token.lexeme.clone();
143
- parser.advance();
144
- Value::Identifier(val)
145
- }
146
- TokenKind::String => {
147
- // strings that are numeric (e.g. "10")
148
- let s = iterator_token.lexeme.clone();
149
- parser.advance();
150
- Value::String(s)
151
- }
152
- _ => {
153
- return Statement::error_with_pos(
154
- iterator_token.clone().indent,
155
- iterator_token.clone().line,
156
- iterator_token.clone().column,
157
- "Expected a number, string or identifier as loop count".to_string(),
158
- );
159
- }
160
- };
161
-
162
- if !parser.match_token(TokenKind::Colon) {
163
- let message = format!(
164
- "Expected ':' after loop count, got {:?}",
165
- parser.peek_kind()
166
- );
167
- return Statement::error_with_pos(
168
- loop_token.clone().indent,
169
- loop_token.clone().line,
170
- loop_token.clone().column,
171
- message,
172
- );
173
- }
174
-
175
- let tokens = parser.collect_until(|t| t.kind == TokenKind::Dedent || t.kind == TokenKind::EOF);
176
- let loop_body = parser.parse_block(tokens.clone(), global_store);
177
- if let Some(token) = parser.peek() {
178
- if token.kind == TokenKind::Dedent {
179
- parser.advance();
180
- }
181
- }
182
-
183
- let mut value_map = std::collections::HashMap::new();
184
- value_map.insert("iterator".to_string(), iterator_value);
185
- value_map.insert("body".to_string(), Value::Block(loop_body.clone()));
186
-
187
- Statement {
188
- kind: StatementKind::Loop,
189
- value: Value::Map(value_map),
190
- indent: loop_token.indent,
191
- line: loop_token.line,
192
- column: loop_token.column,
193
- }
194
- }
1
+ use devalang_types::Value;
2
+
3
+ use crate::core::{
4
+ lexer::token::TokenKind,
5
+ parser::{
6
+ driver::parser::Parser,
7
+ statement::{Statement, StatementKind},
8
+ },
9
+ store::global::GlobalStore,
10
+ };
11
+
12
+ pub fn parse_loop_token(parser: &mut Parser, global_store: &mut GlobalStore) -> Statement {
13
+ parser.advance(); // consume 'loop' or 'for' (aliased in lexer)
14
+ let Some(loop_token) = parser.previous_clone() else {
15
+ return Statement::unknown();
16
+ };
17
+
18
+ // Support two forms:
19
+ // 1) loop <count>:
20
+ // 2) for <ident> in [a,b,c]:
21
+
22
+ // Peek next to decide
23
+ let Some(next_token) = parser.peek_clone() else {
24
+ return Statement::error_with_pos(
25
+ loop_token.indent,
26
+ loop_token.line,
27
+ loop_token.column,
28
+ "Expected iterator after loop/for".to_string(),
29
+ );
30
+ };
31
+
32
+ // Try to detect 'for <ident> in [array]:' form
33
+ let mut foreach_ident: Option<String> = None;
34
+ if let TokenKind::Identifier = next_token.kind {
35
+ // Could be either count identifier (old form) or foreach variable
36
+ // Look ahead for 'in'
37
+ let name = next_token.lexeme.clone();
38
+ // don't consume yet; we'll branch
39
+ if let Some(t2) = parser.peek_nth(1) {
40
+ if t2.kind == TokenKind::Identifier && t2.lexeme == "in" {
41
+ // foreach form
42
+ foreach_ident = Some(name);
43
+ // consume ident and 'in'
44
+ parser.advance();
45
+ parser.advance();
46
+ }
47
+ }
48
+ }
49
+
50
+ if let Some(var_name) = foreach_ident {
51
+ // Expect [array] OR number OR string OR identifier after 'in'
52
+ let array_val = if let Some(tok) = parser.peek_clone() {
53
+ match tok.kind {
54
+ TokenKind::LBracket => {
55
+ if let Some(v) = parser.parse_array_value() {
56
+ v
57
+ } else {
58
+ Value::Array(vec![])
59
+ }
60
+ }
61
+ TokenKind::Number => {
62
+ parser.advance();
63
+ let n = tok.lexeme.parse::<f32>().unwrap_or(0.0);
64
+ Value::Number(n)
65
+ }
66
+ TokenKind::String => {
67
+ parser.advance();
68
+ Value::String(tok.lexeme.clone())
69
+ }
70
+ TokenKind::Identifier => {
71
+ parser.advance();
72
+ Value::Identifier(tok.lexeme.clone())
73
+ }
74
+ _ => {
75
+ return Statement::error_with_pos(
76
+ loop_token.indent,
77
+ loop_token.line,
78
+ loop_token.column,
79
+ "Expected array, number, string or identifier after 'in'".to_string(),
80
+ );
81
+ }
82
+ }
83
+ } else {
84
+ return Statement::error_with_pos(
85
+ loop_token.indent,
86
+ loop_token.line,
87
+ loop_token.column,
88
+ "Expected array, number, string or identifier after 'in'".to_string(),
89
+ );
90
+ };
91
+
92
+ // Expect ':'
93
+ if !parser.match_token(TokenKind::Colon) {
94
+ return Statement::error_with_pos(
95
+ loop_token.indent,
96
+ loop_token.line,
97
+ loop_token.column,
98
+ "Expected ':' after foreach header".to_string(),
99
+ );
100
+ }
101
+
102
+ let tokens =
103
+ parser.collect_until(|t| t.kind == TokenKind::Dedent || t.kind == TokenKind::EOF);
104
+ let loop_body = parser.parse_block(tokens.clone(), global_store);
105
+ if let Some(token) = parser.peek() {
106
+ if token.kind == TokenKind::Dedent {
107
+ parser.advance();
108
+ }
109
+ }
110
+
111
+ let mut value_map = std::collections::HashMap::new();
112
+ value_map.insert("foreach".to_string(), Value::Identifier(var_name));
113
+ value_map.insert("array".to_string(), array_val);
114
+ value_map.insert("body".to_string(), Value::Block(loop_body.clone()));
115
+
116
+ return Statement {
117
+ kind: StatementKind::Loop,
118
+ value: Value::Map(value_map),
119
+ indent: loop_token.indent,
120
+ line: loop_token.line,
121
+ column: loop_token.column,
122
+ };
123
+ }
124
+
125
+ // Fallback to legacy: loop <count>:
126
+ let Some(iterator_token) = parser.peek_clone() else {
127
+ return Statement::error_with_pos(
128
+ loop_token.indent,
129
+ loop_token.line,
130
+ loop_token.column,
131
+ "Expected number or identifier after 'loop'".to_string(),
132
+ );
133
+ };
134
+
135
+ let iterator_value = match iterator_token.kind {
136
+ TokenKind::Number => {
137
+ let val = iterator_token.lexeme.parse::<f32>().unwrap_or(1.0);
138
+ parser.advance();
139
+ Value::Number(val)
140
+ }
141
+ TokenKind::Identifier => {
142
+ let val = iterator_token.lexeme.clone();
143
+ parser.advance();
144
+ Value::Identifier(val)
145
+ }
146
+ TokenKind::String => {
147
+ // strings that are numeric (e.g. "10")
148
+ let s = iterator_token.lexeme.clone();
149
+ parser.advance();
150
+ Value::String(s)
151
+ }
152
+ _ => {
153
+ return Statement::error_with_pos(
154
+ iterator_token.clone().indent,
155
+ iterator_token.clone().line,
156
+ iterator_token.clone().column,
157
+ "Expected a number, string or identifier as loop count".to_string(),
158
+ );
159
+ }
160
+ };
161
+
162
+ if !parser.match_token(TokenKind::Colon) {
163
+ let message = format!(
164
+ "Expected ':' after loop count, got {:?}",
165
+ parser.peek_kind()
166
+ );
167
+ return Statement::error_with_pos(
168
+ loop_token.clone().indent,
169
+ loop_token.clone().line,
170
+ loop_token.clone().column,
171
+ message,
172
+ );
173
+ }
174
+
175
+ let tokens = parser.collect_until(|t| t.kind == TokenKind::Dedent || t.kind == TokenKind::EOF);
176
+ let loop_body = parser.parse_block(tokens.clone(), global_store);
177
+ if let Some(token) = parser.peek() {
178
+ if token.kind == TokenKind::Dedent {
179
+ parser.advance();
180
+ }
181
+ }
182
+
183
+ let mut value_map = std::collections::HashMap::new();
184
+ value_map.insert("iterator".to_string(), iterator_value);
185
+ value_map.insert("body".to_string(), Value::Block(loop_body.clone()));
186
+
187
+ Statement {
188
+ kind: StatementKind::Loop,
189
+ value: Value::Map(value_map),
190
+ indent: loop_token.indent,
191
+ line: loop_token.line,
192
+ column: loop_token.column,
193
+ }
194
+ }