@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,318 +1,318 @@
1
- use std::collections::HashMap;
2
-
3
- use crate::core::{
4
- parser::statement::{Statement, StatementKind},
5
- preprocessor::{
6
- module::Module,
7
- resolver::{driver::resolve_statement, value::resolve_value},
8
- },
9
- store::global::GlobalStore,
10
- };
11
- use devalang_types::Value;
12
- use devalang_utils::logger::Logger;
13
-
14
- pub fn resolve_loop(
15
- stmt: &Statement,
16
- module: &Module,
17
- path: &str,
18
- global_store: &mut GlobalStore,
19
- ) -> Statement {
20
- let logger = Logger::new();
21
-
22
- let resolved_value = resolve_value(&stmt.value, module, global_store);
23
-
24
- let Value::Map(value_map) = &resolved_value else {
25
- return error_stmt(&logger, module, stmt, "Expected a map for loop value");
26
- };
27
-
28
- let mut resolved_map: HashMap<String, Value> = HashMap::new();
29
- for (key, val) in value_map {
30
- resolved_map.insert(key.clone(), resolve_value(val, module, global_store));
31
- }
32
-
33
- // Foreach form takes precedence if present
34
- if let (Some(Value::Identifier(var_name)), Some(array_val)) =
35
- (resolved_map.get("foreach"), resolved_map.get("array"))
36
- {
37
- // Normalize array_val into an iterable Array
38
- let resolved_array = match array_val {
39
- Value::Array(items) => Value::Array(
40
- items
41
- .iter()
42
- .map(|v| resolve_value(v, module, global_store))
43
- .collect(),
44
- ),
45
- Value::Number(n) => {
46
- // Iterate 0..n-1
47
- let count = (*n).max(0.0) as usize;
48
- let mut items = Vec::with_capacity(count);
49
- for i in 0..count {
50
- items.push(Value::Number(i as f32));
51
- }
52
- Value::Array(items)
53
- }
54
- Value::String(s) => {
55
- // Try to parse a simple comma-separated list: "a,b,c" -> ["a","b","c"]
56
- // If numeric string: iterate 0..n-1
57
- if let Ok(n) = s.parse::<f32>() {
58
- let count = n.max(0.0) as usize;
59
- let mut items = Vec::with_capacity(count);
60
- for i in 0..count {
61
- items.push(Value::Number(i as f32));
62
- }
63
- Value::Array(items)
64
- } else if s.contains(',') {
65
- let parts: Vec<Value> = s
66
- .split(',')
67
- .map(|p| Value::String(p.trim().to_string()))
68
- .collect();
69
- Value::Array(parts)
70
- } else {
71
- // Fallback: iterate characters
72
- let parts: Vec<Value> =
73
- s.chars().map(|c| Value::String(c.to_string())).collect();
74
- Value::Array(parts)
75
- }
76
- }
77
- Value::Identifier(name) => {
78
- // Resolve identifier from module variables (already resolved map above)
79
- let v = if let Some(v) = module.variable_table.get(name) {
80
- v.clone()
81
- } else {
82
- Value::Null
83
- };
84
- match v {
85
- Value::Array(items) => Value::Array(
86
- items
87
- .iter()
88
- .map(|v| resolve_value(v, module, global_store))
89
- .collect(),
90
- ),
91
- Value::Number(n) => {
92
- let count = n.max(0.0) as usize;
93
- let mut items = Vec::with_capacity(count);
94
- for i in 0..count {
95
- items.push(Value::Number(i as f32));
96
- }
97
- Value::Array(items)
98
- }
99
- Value::String(s) => {
100
- if let Ok(n) = s.parse::<f32>() {
101
- let count = n.max(0.0) as usize;
102
- let mut items = Vec::with_capacity(count);
103
- for i in 0..count {
104
- items.push(Value::Number(i as f32));
105
- }
106
- Value::Array(items)
107
- } else if s.contains(',') {
108
- let parts: Vec<Value> = s
109
- .split(',')
110
- .map(|p| Value::String(p.trim().to_string()))
111
- .collect();
112
- Value::Array(parts)
113
- } else {
114
- let parts: Vec<Value> =
115
- s.chars().map(|c| Value::String(c.to_string())).collect();
116
- Value::Array(parts)
117
- }
118
- }
119
- other => {
120
- error_value(
121
- &logger,
122
- module,
123
- stmt,
124
- &format!(
125
- "Foreach identifier '{}' resolves to unsupported value: {:?}",
126
- name, other
127
- ),
128
- );
129
- Value::Array(vec![])
130
- }
131
- }
132
- }
133
- other => {
134
- // Resolve and normalize if possible
135
- let v = resolve_value(other, module, global_store);
136
- match v {
137
- Value::Array(items) => Value::Array(items),
138
- Value::Number(n) => {
139
- let count = n.max(0.0) as usize;
140
- let mut items = Vec::with_capacity(count);
141
- for i in 0..count {
142
- items.push(Value::Number(i as f32));
143
- }
144
- Value::Array(items)
145
- }
146
- Value::String(s) => {
147
- if let Ok(n) = s.parse::<f32>() {
148
- let count = n.max(0.0) as usize;
149
- let mut items = Vec::with_capacity(count);
150
- for i in 0..count {
151
- items.push(Value::Number(i as f32));
152
- }
153
- Value::Array(items)
154
- } else if s.contains(',') {
155
- let parts: Vec<Value> = s
156
- .split(',')
157
- .map(|p| Value::String(p.trim().to_string()))
158
- .collect();
159
- Value::Array(parts)
160
- } else {
161
- let parts: Vec<Value> =
162
- s.chars().map(|c| Value::String(c.to_string())).collect();
163
- Value::Array(parts)
164
- }
165
- }
166
- other => {
167
- error_value(
168
- &logger,
169
- module,
170
- stmt,
171
- &format!("Unsupported foreach array value: {:?}", other),
172
- );
173
- Value::Array(vec![])
174
- }
175
- }
176
- }
177
- };
178
-
179
- let body_value = match resolved_map.get("body") {
180
- Some(Value::Block(stmts)) => {
181
- let resolved = stmts
182
- .iter()
183
- .map(|s| resolve_statement(s, module, path, global_store))
184
- .collect();
185
- Value::Block(resolved)
186
- }
187
- _ => {
188
- error_value(&logger, module, stmt, "Invalid or missing loop body");
189
- Value::Block(vec![])
190
- }
191
- };
192
-
193
- let mut final_map = HashMap::new();
194
- final_map.insert("foreach".to_string(), Value::Identifier(var_name.clone()));
195
- final_map.insert("array".to_string(), resolved_array);
196
- final_map.insert("body".to_string(), body_value);
197
-
198
- return Statement {
199
- kind: StatementKind::Loop,
200
- value: Value::Map(final_map),
201
- ..stmt.clone()
202
- };
203
- }
204
-
205
- let iterator_value = match resolved_map.get("iterator") {
206
- Some(Value::Number(n)) => Value::Number(*n),
207
- Some(Value::String(s)) => {
208
- if let Ok(n) = s.parse::<f32>() {
209
- Value::Number(n)
210
- } else {
211
- error_value(
212
- &logger,
213
- module,
214
- stmt,
215
- &format!("Loop iterator string not numeric: '{}'", s),
216
- );
217
- Value::Number(1.0)
218
- }
219
- }
220
- Some(Value::Identifier(name)) => {
221
- // Try resolving from module vars (may be number or numeric string)
222
- if let Some(v) = module.variable_table.get(name) {
223
- match v {
224
- Value::Number(n) => Value::Number(*n),
225
- Value::String(s) => {
226
- if let Ok(n) = s.parse::<f32>() {
227
- Value::Number(n)
228
- } else {
229
- error_value(
230
- &logger,
231
- module,
232
- stmt,
233
- &format!(
234
- "Loop iterator '{}' resolves to non-numeric string: '{}'",
235
- name, s
236
- ),
237
- );
238
- Value::Number(1.0)
239
- }
240
- }
241
- other => {
242
- error_value(
243
- &logger,
244
- module,
245
- stmt,
246
- &format!(
247
- "Loop iterator '{}' resolves to non-number: {:?}",
248
- name, other
249
- ),
250
- );
251
- Value::Number(1.0)
252
- }
253
- }
254
- } else {
255
- error_value(
256
- &logger,
257
- module,
258
- stmt,
259
- &format!("Loop iterator identifier '{}' not found", name),
260
- );
261
- Value::Number(1.0)
262
- }
263
- }
264
- Some(other) => {
265
- error_value(
266
- &logger,
267
- module,
268
- stmt,
269
- &format!("Loop iterator must be a number, found: {:?}", other),
270
- );
271
- Value::Number(1.0)
272
- }
273
- None => {
274
- error_value(&logger, module, stmt, "Missing 'iterator' in loop");
275
- Value::Number(1.0)
276
- }
277
- };
278
-
279
- let body_value = match resolved_map.get("body") {
280
- Some(Value::Block(stmts)) => {
281
- let resolved = stmts
282
- .iter()
283
- .map(|s| resolve_statement(s, module, path, global_store))
284
- .collect();
285
- Value::Block(resolved)
286
- }
287
- _ => {
288
- error_value(&logger, module, stmt, "Invalid or missing loop body");
289
- Value::Block(vec![])
290
- }
291
- };
292
-
293
- let mut final_map = HashMap::new();
294
- final_map.insert("iterator".to_string(), iterator_value);
295
- final_map.insert("body".to_string(), body_value);
296
-
297
- Statement {
298
- kind: StatementKind::Loop,
299
- value: Value::Map(final_map),
300
- ..stmt.clone()
301
- }
302
- }
303
-
304
- fn error_value(logger: &Logger, module: &Module, stmt: &Statement, msg: &str) {
305
- let stacktrace = format!("{}:{}:{}", module.path, stmt.line, stmt.column);
306
- logger.log_error_with_stacktrace(msg, &stacktrace);
307
- }
308
-
309
- fn error_stmt(logger: &Logger, module: &Module, stmt: &Statement, msg: &str) -> Statement {
310
- error_value(logger, module, stmt, msg);
311
- Statement {
312
- kind: StatementKind::Error {
313
- message: msg.to_string(),
314
- },
315
- value: Value::Null,
316
- ..stmt.clone()
317
- }
318
- }
1
+ use std::collections::HashMap;
2
+
3
+ use crate::core::{
4
+ parser::statement::{Statement, StatementKind},
5
+ preprocessor::{
6
+ module::Module,
7
+ resolver::{driver::resolve_statement, value::resolve_value},
8
+ },
9
+ store::global::GlobalStore,
10
+ };
11
+ use devalang_types::Value;
12
+ use devalang_utils::logger::Logger;
13
+
14
+ pub fn resolve_loop(
15
+ stmt: &Statement,
16
+ module: &Module,
17
+ path: &str,
18
+ global_store: &mut GlobalStore,
19
+ ) -> Statement {
20
+ let logger = Logger::new();
21
+
22
+ let resolved_value = resolve_value(&stmt.value, module, global_store);
23
+
24
+ let Value::Map(value_map) = &resolved_value else {
25
+ return error_stmt(&logger, module, stmt, "Expected a map for loop value");
26
+ };
27
+
28
+ let mut resolved_map: HashMap<String, Value> = HashMap::new();
29
+ for (key, val) in value_map {
30
+ resolved_map.insert(key.clone(), resolve_value(val, module, global_store));
31
+ }
32
+
33
+ // Foreach form takes precedence if present
34
+ if let (Some(Value::Identifier(var_name)), Some(array_val)) =
35
+ (resolved_map.get("foreach"), resolved_map.get("array"))
36
+ {
37
+ // Normalize array_val into an iterable Array
38
+ let resolved_array = match array_val {
39
+ Value::Array(items) => Value::Array(
40
+ items
41
+ .iter()
42
+ .map(|v| resolve_value(v, module, global_store))
43
+ .collect(),
44
+ ),
45
+ Value::Number(n) => {
46
+ // Iterate 0..n-1
47
+ let count = (*n).max(0.0) as usize;
48
+ let mut items = Vec::with_capacity(count);
49
+ for i in 0..count {
50
+ items.push(Value::Number(i as f32));
51
+ }
52
+ Value::Array(items)
53
+ }
54
+ Value::String(s) => {
55
+ // Try to parse a simple comma-separated list: "a,b,c" -> ["a","b","c"]
56
+ // If numeric string: iterate 0..n-1
57
+ if let Ok(n) = s.parse::<f32>() {
58
+ let count = n.max(0.0) as usize;
59
+ let mut items = Vec::with_capacity(count);
60
+ for i in 0..count {
61
+ items.push(Value::Number(i as f32));
62
+ }
63
+ Value::Array(items)
64
+ } else if s.contains(',') {
65
+ let parts: Vec<Value> = s
66
+ .split(',')
67
+ .map(|p| Value::String(p.trim().to_string()))
68
+ .collect();
69
+ Value::Array(parts)
70
+ } else {
71
+ // Fallback: iterate characters
72
+ let parts: Vec<Value> =
73
+ s.chars().map(|c| Value::String(c.to_string())).collect();
74
+ Value::Array(parts)
75
+ }
76
+ }
77
+ Value::Identifier(name) => {
78
+ // Resolve identifier from module variables (already resolved map above)
79
+ let v = if let Some(v) = module.variable_table.get(name) {
80
+ v.clone()
81
+ } else {
82
+ Value::Null
83
+ };
84
+ match v {
85
+ Value::Array(items) => Value::Array(
86
+ items
87
+ .iter()
88
+ .map(|v| resolve_value(v, module, global_store))
89
+ .collect(),
90
+ ),
91
+ Value::Number(n) => {
92
+ let count = n.max(0.0) as usize;
93
+ let mut items = Vec::with_capacity(count);
94
+ for i in 0..count {
95
+ items.push(Value::Number(i as f32));
96
+ }
97
+ Value::Array(items)
98
+ }
99
+ Value::String(s) => {
100
+ if let Ok(n) = s.parse::<f32>() {
101
+ let count = n.max(0.0) as usize;
102
+ let mut items = Vec::with_capacity(count);
103
+ for i in 0..count {
104
+ items.push(Value::Number(i as f32));
105
+ }
106
+ Value::Array(items)
107
+ } else if s.contains(',') {
108
+ let parts: Vec<Value> = s
109
+ .split(',')
110
+ .map(|p| Value::String(p.trim().to_string()))
111
+ .collect();
112
+ Value::Array(parts)
113
+ } else {
114
+ let parts: Vec<Value> =
115
+ s.chars().map(|c| Value::String(c.to_string())).collect();
116
+ Value::Array(parts)
117
+ }
118
+ }
119
+ other => {
120
+ error_value(
121
+ &logger,
122
+ module,
123
+ stmt,
124
+ &format!(
125
+ "Foreach identifier '{}' resolves to unsupported value: {:?}",
126
+ name, other
127
+ ),
128
+ );
129
+ Value::Array(vec![])
130
+ }
131
+ }
132
+ }
133
+ other => {
134
+ // Resolve and normalize if possible
135
+ let v = resolve_value(other, module, global_store);
136
+ match v {
137
+ Value::Array(items) => Value::Array(items),
138
+ Value::Number(n) => {
139
+ let count = n.max(0.0) as usize;
140
+ let mut items = Vec::with_capacity(count);
141
+ for i in 0..count {
142
+ items.push(Value::Number(i as f32));
143
+ }
144
+ Value::Array(items)
145
+ }
146
+ Value::String(s) => {
147
+ if let Ok(n) = s.parse::<f32>() {
148
+ let count = n.max(0.0) as usize;
149
+ let mut items = Vec::with_capacity(count);
150
+ for i in 0..count {
151
+ items.push(Value::Number(i as f32));
152
+ }
153
+ Value::Array(items)
154
+ } else if s.contains(',') {
155
+ let parts: Vec<Value> = s
156
+ .split(',')
157
+ .map(|p| Value::String(p.trim().to_string()))
158
+ .collect();
159
+ Value::Array(parts)
160
+ } else {
161
+ let parts: Vec<Value> =
162
+ s.chars().map(|c| Value::String(c.to_string())).collect();
163
+ Value::Array(parts)
164
+ }
165
+ }
166
+ other => {
167
+ error_value(
168
+ &logger,
169
+ module,
170
+ stmt,
171
+ &format!("Unsupported foreach array value: {:?}", other),
172
+ );
173
+ Value::Array(vec![])
174
+ }
175
+ }
176
+ }
177
+ };
178
+
179
+ let body_value = match resolved_map.get("body") {
180
+ Some(Value::Block(stmts)) => {
181
+ let resolved = stmts
182
+ .iter()
183
+ .map(|s| resolve_statement(s, module, path, global_store))
184
+ .collect();
185
+ Value::Block(resolved)
186
+ }
187
+ _ => {
188
+ error_value(&logger, module, stmt, "Invalid or missing loop body");
189
+ Value::Block(vec![])
190
+ }
191
+ };
192
+
193
+ let mut final_map = HashMap::new();
194
+ final_map.insert("foreach".to_string(), Value::Identifier(var_name.clone()));
195
+ final_map.insert("array".to_string(), resolved_array);
196
+ final_map.insert("body".to_string(), body_value);
197
+
198
+ return Statement {
199
+ kind: StatementKind::Loop,
200
+ value: Value::Map(final_map),
201
+ ..stmt.clone()
202
+ };
203
+ }
204
+
205
+ let iterator_value = match resolved_map.get("iterator") {
206
+ Some(Value::Number(n)) => Value::Number(*n),
207
+ Some(Value::String(s)) => {
208
+ if let Ok(n) = s.parse::<f32>() {
209
+ Value::Number(n)
210
+ } else {
211
+ error_value(
212
+ &logger,
213
+ module,
214
+ stmt,
215
+ &format!("Loop iterator string not numeric: '{}'", s),
216
+ );
217
+ Value::Number(1.0)
218
+ }
219
+ }
220
+ Some(Value::Identifier(name)) => {
221
+ // Try resolving from module vars (may be number or numeric string)
222
+ if let Some(v) = module.variable_table.get(name) {
223
+ match v {
224
+ Value::Number(n) => Value::Number(*n),
225
+ Value::String(s) => {
226
+ if let Ok(n) = s.parse::<f32>() {
227
+ Value::Number(n)
228
+ } else {
229
+ error_value(
230
+ &logger,
231
+ module,
232
+ stmt,
233
+ &format!(
234
+ "Loop iterator '{}' resolves to non-numeric string: '{}'",
235
+ name, s
236
+ ),
237
+ );
238
+ Value::Number(1.0)
239
+ }
240
+ }
241
+ other => {
242
+ error_value(
243
+ &logger,
244
+ module,
245
+ stmt,
246
+ &format!(
247
+ "Loop iterator '{}' resolves to non-number: {:?}",
248
+ name, other
249
+ ),
250
+ );
251
+ Value::Number(1.0)
252
+ }
253
+ }
254
+ } else {
255
+ error_value(
256
+ &logger,
257
+ module,
258
+ stmt,
259
+ &format!("Loop iterator identifier '{}' not found", name),
260
+ );
261
+ Value::Number(1.0)
262
+ }
263
+ }
264
+ Some(other) => {
265
+ error_value(
266
+ &logger,
267
+ module,
268
+ stmt,
269
+ &format!("Loop iterator must be a number, found: {:?}", other),
270
+ );
271
+ Value::Number(1.0)
272
+ }
273
+ None => {
274
+ error_value(&logger, module, stmt, "Missing 'iterator' in loop");
275
+ Value::Number(1.0)
276
+ }
277
+ };
278
+
279
+ let body_value = match resolved_map.get("body") {
280
+ Some(Value::Block(stmts)) => {
281
+ let resolved = stmts
282
+ .iter()
283
+ .map(|s| resolve_statement(s, module, path, global_store))
284
+ .collect();
285
+ Value::Block(resolved)
286
+ }
287
+ _ => {
288
+ error_value(&logger, module, stmt, "Invalid or missing loop body");
289
+ Value::Block(vec![])
290
+ }
291
+ };
292
+
293
+ let mut final_map = HashMap::new();
294
+ final_map.insert("iterator".to_string(), iterator_value);
295
+ final_map.insert("body".to_string(), body_value);
296
+
297
+ Statement {
298
+ kind: StatementKind::Loop,
299
+ value: Value::Map(final_map),
300
+ ..stmt.clone()
301
+ }
302
+ }
303
+
304
+ fn error_value(logger: &Logger, module: &Module, stmt: &Statement, msg: &str) {
305
+ let stacktrace = format!("{}:{}:{}", module.path, stmt.line, stmt.column);
306
+ logger.log_error_with_stacktrace(msg, &stacktrace);
307
+ }
308
+
309
+ fn error_stmt(logger: &Logger, module: &Module, stmt: &Statement, msg: &str) -> Statement {
310
+ error_value(logger, module, stmt, msg);
311
+ Statement {
312
+ kind: StatementKind::Error {
313
+ message: msg.to_string(),
314
+ },
315
+ value: Value::Null,
316
+ ..stmt.clone()
317
+ }
318
+ }
@@ -1,16 +1,16 @@
1
- pub mod driver;
2
-
3
- pub mod value;
4
-
5
- pub mod bank;
6
- pub mod call;
7
- pub mod condition;
8
- pub mod function;
9
- pub mod group;
10
- pub mod let_;
11
- pub mod loop_;
12
- pub mod pattern;
13
- pub mod spawn;
14
- pub mod synth;
15
- pub mod tempo;
16
- pub mod trigger;
1
+ pub mod driver;
2
+
3
+ pub mod value;
4
+
5
+ pub mod bank;
6
+ pub mod call;
7
+ pub mod condition;
8
+ pub mod function;
9
+ pub mod group;
10
+ pub mod let_;
11
+ pub mod loop_;
12
+ pub mod pattern;
13
+ pub mod spawn;
14
+ pub mod synth;
15
+ pub mod tempo;
16
+ pub mod trigger;