@devaloop/devalang 0.0.1-alpha.9 → 0.0.1-beta.1

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 (271) hide show
  1. package/.cargo/config.toml +2 -0
  2. package/.devalang +10 -4
  3. package/.github/workflows/ci.yml +103 -0
  4. package/Cargo.toml +80 -48
  5. package/README.md +135 -154
  6. package/docs/CHANGELOG.md +386 -1
  7. package/docs/CONTRIBUTING.md +101 -0
  8. package/docs/ROADMAP.md +10 -7
  9. package/docs/TODO.md +21 -9
  10. package/examples/automation.deva +42 -0
  11. package/examples/bank.deva +7 -0
  12. package/examples/duration.deva +9 -0
  13. package/examples/events.deva +12 -0
  14. package/examples/function.deva +15 -0
  15. package/examples/index.deva +57 -12
  16. package/examples/loop.deva +5 -12
  17. package/examples/pattern.deva +8 -0
  18. package/examples/plugin.deva +16 -0
  19. package/examples/variables.deva +1 -1
  20. package/out-tsc/bin/index.d.ts +2 -0
  21. package/out-tsc/bin/index.js +51 -7
  22. package/out-tsc/core/functions/index.d.ts +37 -0
  23. package/out-tsc/core/functions/index.js +76 -0
  24. package/out-tsc/core/index.d.ts +6 -0
  25. package/out-tsc/core/index.js +22 -0
  26. package/out-tsc/core/types/index.d.ts +4 -0
  27. package/out-tsc/core/types/index.js +20 -0
  28. package/out-tsc/core/types/plugin.d.ts +18 -0
  29. package/out-tsc/core/types/plugin.js +2 -0
  30. package/out-tsc/core/types/result.d.ts +27 -0
  31. package/out-tsc/core/types/result.js +2 -0
  32. package/out-tsc/core/types/statement.d.ts +106 -0
  33. package/out-tsc/core/types/statement.js +2 -0
  34. package/out-tsc/core/types/value.d.ts +43 -0
  35. package/out-tsc/core/types/value.js +2 -0
  36. package/out-tsc/index.d.ts +7 -0
  37. package/out-tsc/index.js +42 -1
  38. package/out-tsc/pkg/devalang_core.d.ts +13 -0
  39. package/out-tsc/pkg/devalang_core.js +50 -0
  40. package/out-tsc/pkg/devalang_core_bg.wasm.d.ts +33 -0
  41. package/out-tsc/scripts/copy-wasm-dts.d.ts +1 -0
  42. package/out-tsc/scripts/copy-wasm-dts.js +73 -0
  43. package/out-tsc/scripts/postinstall.d.ts +1 -0
  44. package/out-tsc/scripts/postinstall.js +83 -0
  45. package/out-tsc/scripts/version/bump.d.ts +1 -0
  46. package/out-tsc/scripts/version/fetch.d.ts +1 -0
  47. package/out-tsc/scripts/version/index.d.ts +1 -0
  48. package/out-tsc/scripts/version/sync.d.ts +1 -0
  49. package/package.json +28 -7
  50. package/project-version.json +4 -4
  51. package/rust/cli/bank/api.rs +122 -0
  52. package/rust/cli/bank/commands.rs +275 -0
  53. package/rust/cli/bank/mod.rs +29 -0
  54. package/rust/cli/build/commands.rs +103 -0
  55. package/rust/cli/build/mod.rs +2 -0
  56. package/rust/cli/build/process.rs +146 -0
  57. package/rust/cli/check/mod.rs +208 -0
  58. package/rust/cli/discover/commands.rs +253 -0
  59. package/rust/cli/discover/config.rs +111 -0
  60. package/rust/cli/discover/fs.rs +19 -0
  61. package/rust/cli/discover/install.rs +103 -0
  62. package/rust/cli/discover/metadata.rs +48 -0
  63. package/rust/cli/discover/mod.rs +5 -0
  64. package/rust/cli/{init.rs → init/commands.rs} +32 -23
  65. package/rust/cli/init/mod.rs +1 -0
  66. package/rust/cli/install/addon.rs +118 -0
  67. package/rust/cli/install/bank.rs +53 -0
  68. package/rust/cli/install/commands.rs +35 -0
  69. package/rust/cli/install/mod.rs +4 -0
  70. package/rust/cli/install/plugin.rs +61 -0
  71. package/rust/cli/login/commands.rs +124 -0
  72. package/rust/cli/login/mod.rs +1 -0
  73. package/rust/cli/mod.rs +12 -205
  74. package/rust/cli/parser.rs +314 -0
  75. package/rust/cli/play/commands.rs +324 -0
  76. package/rust/cli/play/io.rs +17 -0
  77. package/rust/cli/play/mod.rs +5 -0
  78. package/rust/cli/play/process.rs +150 -0
  79. package/rust/cli/play/realtime.rs +91 -0
  80. package/rust/cli/play/utils.rs +23 -0
  81. package/rust/cli/telemetry/commands.rs +22 -0
  82. package/rust/cli/telemetry/event_creator.rs +80 -0
  83. package/rust/cli/telemetry/mod.rs +3 -0
  84. package/rust/cli/telemetry/send.rs +51 -0
  85. package/rust/cli/{template.rs → template/commands.rs} +69 -57
  86. package/rust/cli/template/mod.rs +1 -0
  87. package/rust/cli/update/commands.rs +6 -0
  88. package/rust/cli/update/mod.rs +1 -0
  89. package/rust/config/driver.rs +103 -0
  90. package/rust/config/mod.rs +3 -16
  91. package/rust/config/ops.rs +26 -0
  92. package/rust/config/settings.rs +101 -0
  93. package/rust/core/audio/engine/helpers.rs +170 -0
  94. package/rust/core/audio/engine/mod.rs +7 -0
  95. package/rust/core/audio/engine/sample.rs +366 -0
  96. package/rust/core/audio/engine/synth.rs +325 -0
  97. package/rust/core/audio/evaluator.rs +310 -31
  98. package/rust/core/audio/interpreter/arrow_call.rs +311 -129
  99. package/rust/core/audio/interpreter/automate.rs +18 -0
  100. package/rust/core/audio/interpreter/call.rs +294 -64
  101. package/rust/core/audio/interpreter/condition.rs +71 -69
  102. package/rust/core/audio/interpreter/driver.rs +542 -216
  103. package/rust/core/audio/interpreter/function.rs +26 -0
  104. package/rust/core/audio/interpreter/let_.rs +38 -19
  105. package/rust/core/audio/interpreter/load.rs +19 -18
  106. package/rust/core/audio/interpreter/loop_.rs +114 -67
  107. package/rust/core/audio/interpreter/mod.rs +14 -12
  108. package/rust/core/audio/interpreter/sleep.rs +28 -36
  109. package/rust/core/audio/interpreter/spawn.rs +252 -66
  110. package/rust/core/audio/interpreter/tempo.rs +40 -16
  111. package/rust/core/audio/interpreter/trigger.rs +239 -69
  112. package/rust/core/audio/loader/mod.rs +1 -1
  113. package/rust/core/audio/loader/trigger.rs +97 -52
  114. package/rust/core/audio/mod.rs +7 -6
  115. package/rust/core/audio/player.rs +70 -54
  116. package/rust/core/audio/renderer.rs +54 -54
  117. package/rust/core/audio/special/easing.rs +189 -0
  118. package/rust/core/audio/special/env.rs +45 -0
  119. package/rust/core/audio/special/math.rs +134 -0
  120. package/rust/core/audio/special/mod.rs +9 -0
  121. package/rust/core/audio/special/modulator.rs +143 -0
  122. package/rust/core/builder/mod.rs +86 -80
  123. package/rust/core/debugger/lexer.rs +27 -27
  124. package/rust/core/debugger/mod.rs +30 -21
  125. package/rust/core/debugger/module.rs +55 -0
  126. package/rust/core/debugger/preprocessor.rs +27 -27
  127. package/rust/core/debugger/store.rs +40 -25
  128. package/rust/core/error/mod.rs +269 -60
  129. package/rust/core/lexer/driver.rs +61 -0
  130. package/rust/core/lexer/handler/arrow.rs +82 -31
  131. package/rust/core/lexer/handler/at.rs +21 -21
  132. package/rust/core/lexer/handler/brace.rs +41 -41
  133. package/rust/core/lexer/handler/colon.rs +21 -21
  134. package/rust/core/lexer/handler/comment.rs +30 -30
  135. package/rust/core/lexer/handler/dot.rs +21 -21
  136. package/rust/core/lexer/handler/driver.rs +337 -226
  137. package/rust/core/lexer/handler/identifier.rs +47 -41
  138. package/rust/core/lexer/handler/indent.rs +66 -52
  139. package/rust/core/lexer/handler/mod.rs +15 -14
  140. package/rust/core/lexer/handler/newline.rs +23 -23
  141. package/rust/core/lexer/handler/number.rs +31 -31
  142. package/rust/core/lexer/handler/operator.rs +46 -44
  143. package/rust/core/lexer/handler/parenthesis.rs +41 -0
  144. package/rust/core/lexer/handler/slash.rs +21 -0
  145. package/rust/core/lexer/handler/string.rs +63 -63
  146. package/rust/core/lexer/mod.rs +3 -51
  147. package/rust/core/lexer/token.rs +17 -12
  148. package/rust/core/mod.rs +10 -10
  149. package/rust/core/parser/driver.rs +584 -331
  150. package/rust/core/parser/handler/arrow_call.rs +253 -126
  151. package/rust/core/parser/handler/at.rs +279 -162
  152. package/rust/core/parser/handler/bank.rs +104 -41
  153. package/rust/core/parser/handler/condition.rs +83 -74
  154. package/rust/core/parser/handler/dot.rs +148 -112
  155. package/rust/core/parser/handler/identifier/automate.rs +254 -0
  156. package/rust/core/parser/handler/identifier/call.rs +91 -41
  157. package/rust/core/parser/handler/identifier/emit.rs +70 -0
  158. package/rust/core/parser/handler/identifier/function.rs +113 -0
  159. package/rust/core/parser/handler/identifier/group.rs +89 -75
  160. package/rust/core/parser/handler/identifier/let_.rs +173 -133
  161. package/rust/core/parser/handler/identifier/mod.rs +55 -51
  162. package/rust/core/parser/handler/identifier/on.rs +107 -0
  163. package/rust/core/parser/handler/identifier/print.rs +49 -0
  164. package/rust/core/parser/handler/identifier/sleep.rs +43 -33
  165. package/rust/core/parser/handler/identifier/spawn.rs +91 -41
  166. package/rust/core/parser/handler/identifier/synth.rs +135 -65
  167. package/rust/core/parser/handler/loop_.rs +194 -72
  168. package/rust/core/parser/handler/mod.rs +9 -8
  169. package/rust/core/parser/handler/pattern.rs +74 -0
  170. package/rust/core/parser/handler/tempo.rs +57 -47
  171. package/rust/core/parser/mod.rs +3 -4
  172. package/rust/core/parser/statement.rs +11 -96
  173. package/rust/core/plugin/loader.rs +137 -0
  174. package/rust/core/plugin/mod.rs +2 -0
  175. package/rust/core/plugin/runner.rs +347 -0
  176. package/rust/core/preprocessor/loader.rs +637 -193
  177. package/rust/core/preprocessor/mod.rs +4 -4
  178. package/rust/core/preprocessor/module.rs +60 -50
  179. package/rust/core/preprocessor/processor.rs +114 -76
  180. package/rust/core/preprocessor/resolver/bank.rs +49 -47
  181. package/rust/core/preprocessor/resolver/call.rs +124 -123
  182. package/rust/core/preprocessor/resolver/condition.rs +95 -92
  183. package/rust/core/preprocessor/resolver/driver.rs +324 -227
  184. package/rust/core/preprocessor/resolver/function.rs +69 -0
  185. package/rust/core/preprocessor/resolver/group.rs +94 -61
  186. package/rust/core/preprocessor/resolver/let_.rs +32 -31
  187. package/rust/core/preprocessor/resolver/loop_.rs +318 -91
  188. package/rust/core/preprocessor/resolver/mod.rs +16 -14
  189. package/rust/core/preprocessor/resolver/pattern.rs +83 -0
  190. package/rust/core/preprocessor/resolver/spawn.rs +99 -58
  191. package/rust/core/preprocessor/resolver/synth.rs +54 -50
  192. package/rust/core/preprocessor/resolver/tempo.rs +48 -49
  193. package/rust/core/preprocessor/resolver/trigger.rs +116 -112
  194. package/rust/core/preprocessor/resolver/value.rs +176 -78
  195. package/rust/core/store/export.rs +28 -28
  196. package/rust/core/store/function.rs +40 -0
  197. package/rust/core/store/global.rs +61 -39
  198. package/rust/core/store/import.rs +28 -28
  199. package/rust/core/store/mod.rs +5 -4
  200. package/rust/core/store/variable.rs +51 -28
  201. package/rust/core/utils/mod.rs +1 -2
  202. package/rust/core/utils/path.rs +37 -31
  203. package/rust/lib.rs +308 -117
  204. package/rust/main.rs +364 -65
  205. package/rust/types/Cargo.toml +11 -0
  206. package/rust/types/src/addons.rs +55 -0
  207. package/rust/types/src/ast.rs +202 -0
  208. package/rust/types/src/config.rs +74 -0
  209. package/rust/types/src/lib.rs +12 -0
  210. package/rust/types/src/telemetry.rs +85 -0
  211. package/rust/utils/Cargo.toml +26 -0
  212. package/rust/utils/src/error.rs +186 -0
  213. package/rust/utils/src/file.rs +94 -0
  214. package/rust/utils/src/first_usage.rs +97 -0
  215. package/rust/utils/{mod.rs → src/lib.rs} +9 -6
  216. package/rust/utils/{logger.rs → src/logger.rs} +200 -123
  217. package/rust/utils/src/path.rs +88 -0
  218. package/rust/utils/src/signature.rs +41 -0
  219. package/rust/utils/{spinner.rs → src/spinner.rs} +20 -21
  220. package/rust/utils/src/version.rs +27 -0
  221. package/rust/utils/{watcher.rs → src/watcher.rs} +46 -33
  222. package/rust/web/api.rs +5 -0
  223. package/rust/web/cdn.rs +34 -0
  224. package/rust/web/mod.rs +3 -0
  225. package/rust/web/sso.rs +5 -0
  226. package/templates/minimal/README.md +143 -127
  227. package/templates/welcome/README.md +143 -127
  228. package/templates/welcome/src/index.deva +56 -8
  229. package/templates/welcome/src/variables.deva +2 -4
  230. package/tests/integration.rs +21 -0
  231. package/tests/rust/cli_check_build.rs +21 -0
  232. package/tests/rust/cli_help.rs +12 -0
  233. package/tests/rust/cli_template_list.rs +10 -0
  234. package/tests/rust/cli_version.rs +11 -0
  235. package/tests/typescript/index.spec.ts +136 -0
  236. package/tests/typescript/playhead.spec.ts +36 -0
  237. package/tests/typescript/render_e2e.spec.ts +77 -0
  238. package/tsconfig.json +12 -10
  239. package/typescript/bin/index.ts +19 -5
  240. package/typescript/core/functions/index.ts +83 -0
  241. package/typescript/core/index.ts +6 -0
  242. package/typescript/core/types/index.ts +4 -0
  243. package/typescript/core/types/plugin.ts +19 -0
  244. package/typescript/core/types/result.ts +29 -0
  245. package/typescript/core/types/statement.ts +47 -0
  246. package/typescript/core/types/value.ts +29 -0
  247. package/typescript/index.ts +8 -1
  248. package/typescript/pkg/devalang_core.d.ts +4 -0
  249. package/typescript/pkg/devalang_core.ts +49 -0
  250. package/typescript/scripts/copy-wasm-dts.ts +41 -0
  251. package/typescript/scripts/postinstall.ts +85 -0
  252. package/typescript/scripts/version/bump.ts +0 -1
  253. package/typescript/scripts/version/index.ts +0 -1
  254. package/docs/COMMANDS.md +0 -85
  255. package/docs/CONFIG.md +0 -30
  256. package/docs/SYNTAX.md +0 -210
  257. package/out-tsc/bin/devalang.exe +0 -0
  258. package/out-tsc/scripts/postbuild.js +0 -11
  259. package/rust/cli/build.rs +0 -137
  260. package/rust/cli/check.rs +0 -117
  261. package/rust/cli/play.rs +0 -193
  262. package/rust/config/loader.rs +0 -13
  263. package/rust/core/audio/engine.rs +0 -203
  264. package/rust/core/shared/duration.rs +0 -8
  265. package/rust/core/shared/mod.rs +0 -2
  266. package/rust/core/shared/value.rs +0 -18
  267. package/rust/core/utils/validation.rs +0 -37
  268. package/rust/utils/file.rs +0 -35
  269. package/rust/utils/signature.rs +0 -17
  270. package/rust/utils/version.rs +0 -15
  271. package/typescript/scripts/postbuild.ts +0 -8
@@ -1,61 +1,94 @@
1
- use std::collections::HashMap;
2
-
3
- use crate::{
4
- core::{
5
- parser::statement::{ Statement, StatementKind },
6
- preprocessor::{ module::Module, resolver::driver::resolve_statement },
7
- shared::value::Value,
8
- store::{ global::GlobalStore, variable::VariableTable },
9
- },
10
- utils::logger::{ LogLevel, Logger },
11
- };
12
-
13
- pub fn resolve_group(
14
- stmt: &Statement,
15
- module: &Module,
16
- path: &str,
17
- global_store: &mut GlobalStore
18
- ) -> Statement {
19
- let logger = Logger::new();
20
-
21
- let Value::Map(group_map) = &stmt.value else {
22
- return type_error(&logger, module, stmt, "Expected a map in group statement".to_string());
23
- };
24
-
25
- let mut resolved_map = group_map.clone();
26
-
27
- if let Some(Value::Block(body)) = group_map.get("body") {
28
- let resolved_body = resolve_block_statements(body, module, path, global_store);
29
- resolved_map.insert("body".to_string(), Value::Block(resolved_body));
30
- } else {
31
- logger.log_message(LogLevel::Warning, "group without a body");
32
- }
33
-
34
- Statement {
35
- kind: StatementKind::Group,
36
- value: Value::Map(resolved_map),
37
- ..stmt.clone()
38
- }
39
- }
40
-
41
- fn resolve_block_statements(
42
- body: &[Statement],
43
- module: &Module,
44
- path: &str,
45
- global_store: &mut GlobalStore
46
- ) -> Vec<Statement> {
47
- body.iter()
48
- .map(|stmt| resolve_statement(stmt, module, path, global_store))
49
- .collect()
50
- }
51
-
52
- fn type_error(logger: &Logger, module: &Module, stmt: &Statement, message: String) -> Statement {
53
- let stacktrace = format!("{}:{}:{}", module.path, stmt.line, stmt.column);
54
- logger.log_error_with_stacktrace(&message, &stacktrace);
55
-
56
- Statement {
57
- kind: StatementKind::Error { message },
58
- value: Value::Null,
59
- ..stmt.clone()
60
- }
61
- }
1
+ use crate::core::{
2
+ parser::statement::{Statement, StatementKind},
3
+ preprocessor::{module::Module, resolver::driver::resolve_statement},
4
+ store::global::GlobalStore,
5
+ };
6
+ use devalang_types::Value;
7
+ use devalang_utils::logger::{LogLevel, Logger};
8
+
9
+ pub fn resolve_group(
10
+ stmt: &Statement,
11
+ module: &Module,
12
+ path: &str,
13
+ global_store: &mut GlobalStore,
14
+ ) -> Statement {
15
+ let logger = Logger::new();
16
+
17
+ let Value::Map(group_map) = &stmt.value else {
18
+ return type_error(
19
+ &logger,
20
+ module,
21
+ stmt,
22
+ "Expected a map in group statement".to_string(),
23
+ );
24
+ };
25
+
26
+ // Check for the presence of the identifier field
27
+ let identifier = match group_map.get("identifier") {
28
+ Some(Value::String(id)) => id.clone(),
29
+ _ => {
30
+ return type_error(
31
+ &logger,
32
+ module,
33
+ stmt,
34
+ "Group statement must have an 'identifier' field".to_string(),
35
+ );
36
+ }
37
+ };
38
+
39
+ // Ensure the identifier does not already exist
40
+ if global_store.variables.variables.contains_key(&identifier) {
41
+ return type_error(
42
+ &logger,
43
+ module,
44
+ stmt,
45
+ format!("Group identifier '{}' already exists", identifier),
46
+ );
47
+ }
48
+
49
+ // Resolve statements in the body
50
+ let mut resolved_map = group_map.clone();
51
+ if let Some(Value::Block(body)) = group_map.get("body") {
52
+ let resolved_body = resolve_block_statements(body, module, path, global_store);
53
+ resolved_map.insert("body".to_string(), Value::Block(resolved_body));
54
+ } else {
55
+ logger.log_message(LogLevel::Warning, "Group without a body");
56
+ }
57
+
58
+ // Build a complete Statement for the group
59
+ let resolved_group_stmt = Statement {
60
+ kind: StatementKind::Group,
61
+ value: Value::Map(resolved_map.clone()),
62
+ ..stmt.clone()
63
+ };
64
+
65
+ // Store the Statement directly in the global variable_table
66
+ global_store.variables.variables.insert(
67
+ identifier.clone(),
68
+ Value::Statement(Box::new(resolved_group_stmt.clone())),
69
+ );
70
+
71
+ resolved_group_stmt
72
+ }
73
+
74
+ fn resolve_block_statements(
75
+ body: &[Statement],
76
+ module: &Module,
77
+ path: &str,
78
+ global_store: &mut GlobalStore,
79
+ ) -> Vec<Statement> {
80
+ body.iter()
81
+ .map(|stmt| resolve_statement(stmt, module, path, global_store))
82
+ .collect()
83
+ }
84
+
85
+ fn type_error(logger: &Logger, module: &Module, stmt: &Statement, message: String) -> Statement {
86
+ let stacktrace = format!("{}:{}:{}", module.path, stmt.line, stmt.column);
87
+ logger.log_error_with_stacktrace(&message, &stacktrace);
88
+
89
+ Statement {
90
+ kind: StatementKind::Error { message },
91
+ value: Value::Null,
92
+ ..stmt.clone()
93
+ }
94
+ }
@@ -1,31 +1,32 @@
1
- use crate::
2
- core::{
3
- parser::statement:: Statement ,
4
- preprocessor::{
5
- module::Module,
6
- resolver:: value::resolve_value ,
7
- },
8
- store:: global::GlobalStore ,
9
- }
10
- ;
11
-
12
- pub fn resolve_let(
13
- stmt: &Statement,
14
- name: &str,
15
- module: &Module,
16
- path: &str,
17
- global_store: &mut GlobalStore
18
- ) -> Statement {
19
- let resolved_value = resolve_value(&stmt.value, module, global_store);
20
-
21
- if let Some(current_mod) = global_store.modules.get_mut(path) {
22
- current_mod.variable_table.set(name.to_string(), resolved_value.clone());
23
- } else {
24
- eprintln!("[resolve_statement] Module path not found: {path}");
25
- }
26
-
27
- Statement {
28
- value: resolved_value,
29
- ..stmt.clone()
30
- }
31
- }
1
+ use crate::core::{
2
+ parser::statement::Statement,
3
+ preprocessor::{module::Module, resolver::value::resolve_value},
4
+ store::global::GlobalStore,
5
+ };
6
+
7
+ pub fn resolve_let(
8
+ stmt: &Statement,
9
+ name: &str,
10
+ module: &Module,
11
+ path: &str,
12
+ global_store: &mut GlobalStore,
13
+ ) -> Statement {
14
+ let resolved_value = resolve_value(&stmt.value, module, global_store);
15
+
16
+ global_store
17
+ .variables
18
+ .set(name.to_string(), resolved_value.clone());
19
+
20
+ if let Some(current_mod) = global_store.modules.get_mut(path) {
21
+ current_mod
22
+ .variable_table
23
+ .set(name.to_string(), resolved_value.clone());
24
+ } else {
25
+ eprintln!("[resolve_statement] ❌ Module path not found: {path}");
26
+ }
27
+
28
+ Statement {
29
+ value: resolved_value,
30
+ ..stmt.clone()
31
+ }
32
+ }
@@ -1,91 +1,318 @@
1
- use std::collections::HashMap;
2
-
3
- use crate::{
4
- core::{
5
- parser::statement::{ Statement, StatementKind },
6
- preprocessor::{
7
- module::Module,
8
- resolver::{ driver::resolve_statement, value::resolve_value },
9
- },
10
- shared::value::Value,
11
- store::global::GlobalStore,
12
- },
13
- utils::logger::Logger,
14
- };
15
-
16
- pub fn resolve_loop(
17
- stmt: &Statement,
18
- module: &Module,
19
- path: &str,
20
- global_store: &mut GlobalStore
21
- ) -> Statement {
22
- let logger = Logger::new();
23
-
24
- let resolved_value = resolve_value(&stmt.value, module, global_store);
25
-
26
- let Value::Map(value_map) = &resolved_value else {
27
- return error_stmt(&logger, module, stmt, "Expected a map for loop value");
28
- };
29
-
30
- let mut resolved_map: HashMap<String, Value> = HashMap::new();
31
- for (key, val) in value_map {
32
- resolved_map.insert(key.clone(), resolve_value(val, module, global_store));
33
- }
34
-
35
- let iterator_value = match resolved_map.get("iterator") {
36
- Some(Value::Number(n)) => Value::Number(*n),
37
- Some(other) => {
38
- error_value(
39
- &logger,
40
- module,
41
- stmt,
42
- &format!("Loop iterator must be a number, found: {:?}", other)
43
- );
44
- Value::Number(1.0)
45
- }
46
- None => {
47
- error_value(&logger, module, stmt, "Missing 'iterator' in loop");
48
- Value::Number(1.0)
49
- }
50
- };
51
-
52
- let body_value = match resolved_map.remove("body") {
53
- Some(Value::Block(stmts)) => {
54
- let resolved = stmts
55
- .iter()
56
- .map(|s| resolve_statement(s, module, path, global_store))
57
- .collect();
58
- Value::Block(resolved)
59
- }
60
- _ => {
61
- error_value(&logger, module, stmt, "Invalid or missing loop body");
62
- Value::Block(vec![])
63
- }
64
- };
65
-
66
- let mut final_map = HashMap::new();
67
- final_map.insert("iterator".to_string(), iterator_value);
68
- final_map.insert("body".to_string(), body_value);
69
-
70
- Statement {
71
- kind: StatementKind::Loop,
72
- value: Value::Map(final_map),
73
- ..stmt.clone()
74
- }
75
- }
76
-
77
- fn error_value(logger: &Logger, module: &Module, stmt: &Statement, msg: &str) {
78
- let stacktrace = format!("{}:{}:{}", module.path, stmt.line, stmt.column);
79
- logger.log_error_with_stacktrace(msg, &stacktrace);
80
- }
81
-
82
- fn error_stmt(logger: &Logger, module: &Module, stmt: &Statement, msg: &str) -> Statement {
83
- error_value(logger, module, stmt, msg);
84
- Statement {
85
- kind: StatementKind::Error {
86
- message: msg.to_string(),
87
- },
88
- value: Value::Null,
89
- ..stmt.clone()
90
- }
91
- }
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,14 +1,16 @@
1
- pub mod driver;
2
-
3
- pub mod value;
4
-
5
- pub mod trigger;
6
- pub mod loop_;
7
- pub mod bank;
8
- pub mod tempo;
9
- pub mod group;
10
- pub mod condition;
11
- pub mod spawn;
12
- pub mod call;
13
- pub mod synth;
14
- pub mod let_;
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;