@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.
- package/.devalang +9 -10
- package/Cargo.toml +5 -4
- package/README.md +7 -5
- package/docs/CHANGELOG.md +42 -0
- package/docs/ROADMAP.md +5 -1
- package/docs/TODO.md +3 -14
- package/examples/bus.deva +10 -0
- package/examples/effect.deva +2 -0
- package/examples/filter.deva +11 -0
- package/examples/lfo.deva +9 -0
- package/examples/synth.deva +11 -1
- package/examples/synth_types.deva +17 -0
- package/out-tsc/core/functions/index.d.ts +5 -0
- package/out-tsc/core/functions/index.js +11 -0
- package/out-tsc/pkg/devalang_core.d.ts +2 -0
- package/out-tsc/pkg/devalang_core.js +17 -2
- package/out-tsc/pkg/devalang_core_bg.wasm.d.ts +8 -7
- package/package.json +1 -1
- package/project-version.json +3 -3
- package/rust/cli/bank/api.rs +122 -122
- package/rust/cli/bank/commands.rs +33 -2
- package/rust/cli/bank/mod.rs +29 -29
- package/rust/cli/build/commands.rs +53 -3
- package/rust/cli/build/mod.rs +2 -2
- package/rust/cli/build/process.rs +26 -7
- package/rust/cli/check/mod.rs +2 -2
- package/rust/cli/discover/commands.rs +253 -253
- package/rust/cli/discover/config.rs +111 -111
- package/rust/cli/discover/fs.rs +19 -19
- package/rust/cli/discover/install.rs +103 -103
- package/rust/cli/discover/metadata.rs +48 -48
- package/rust/cli/discover/mod.rs +5 -5
- package/rust/cli/install/addon.rs +118 -118
- package/rust/cli/install/bank.rs +22 -3
- package/rust/cli/install/commands.rs +35 -35
- package/rust/cli/install/mod.rs +4 -4
- package/rust/cli/install/plugin.rs +80 -61
- package/rust/cli/login/commands.rs +124 -124
- package/rust/cli/mod.rs +12 -12
- package/rust/cli/parser.rs +46 -1
- package/rust/cli/play/commands.rs +71 -20
- package/rust/cli/play/mod.rs +5 -5
- package/rust/cli/play/process.rs +14 -5
- package/rust/cli/play/realtime.rs +91 -91
- package/rust/cli/telemetry/commands.rs +22 -22
- package/rust/cli/telemetry/event_creator.rs +80 -80
- package/rust/cli/telemetry/mod.rs +3 -3
- package/rust/cli/telemetry/send.rs +51 -51
- package/rust/cli/template/commands.rs +69 -69
- package/rust/config/driver.rs +112 -103
- package/rust/config/mod.rs +3 -3
- package/rust/config/ops.rs +26 -26
- package/rust/config/settings.rs +101 -101
- package/rust/core/audio/engine/driver.rs +220 -0
- package/rust/core/audio/engine/export.rs +169 -0
- package/rust/core/audio/engine/helpers.rs +178 -170
- package/rust/core/audio/engine/mod.rs +51 -2
- package/rust/core/audio/engine/notes/dsp.rs +85 -0
- package/rust/core/audio/engine/notes/mod.rs +44 -0
- package/rust/core/audio/engine/notes/params.rs +294 -0
- package/rust/core/audio/engine/sample/insert.rs +199 -0
- package/rust/core/audio/engine/sample/mod.rs +40 -0
- package/rust/core/audio/engine/sample/padding.rs +170 -0
- package/rust/core/audio/evaluator/condition.rs +61 -0
- package/rust/core/audio/evaluator/mod.rs +9 -0
- package/rust/core/audio/{evaluator.rs → evaluator/numeric.rs} +1 -159
- package/rust/core/audio/evaluator/rhs.rs +16 -0
- package/rust/core/audio/evaluator/string_expr.rs +94 -0
- package/rust/core/audio/interpreter/driver.rs +55 -23
- package/rust/core/audio/interpreter/mod.rs +1 -13
- package/rust/core/audio/interpreter/statements/arrow_call/interprete.rs +175 -0
- package/rust/core/audio/interpreter/statements/arrow_call/methods/chord.rs +384 -0
- package/rust/core/audio/interpreter/statements/arrow_call/methods/mod.rs +2 -0
- package/rust/core/audio/interpreter/statements/arrow_call/methods/note.rs +316 -0
- package/rust/core/audio/interpreter/statements/arrow_call/mod.rs +3 -0
- package/rust/core/audio/interpreter/statements/arrow_call/types/arp.rs +192 -0
- package/rust/core/audio/interpreter/statements/arrow_call/types/mod.rs +24 -0
- package/rust/core/audio/interpreter/statements/arrow_call/types/pad.rs +116 -0
- package/rust/core/audio/interpreter/statements/arrow_call/types/pluck.rs +97 -0
- package/rust/core/audio/interpreter/statements/arrow_call/types/sub.rs +100 -0
- package/rust/core/audio/interpreter/{automate.rs → statements/automate.rs} +16 -18
- package/rust/core/audio/interpreter/{call.rs → statements/call.rs} +5 -4
- package/rust/core/audio/interpreter/{condition.rs → statements/condition.rs} +2 -1
- package/rust/core/audio/interpreter/{function.rs → statements/function.rs} +2 -4
- package/rust/core/audio/interpreter/{let_.rs → statements/let_.rs} +2 -4
- package/rust/core/audio/interpreter/{load.rs → statements/load.rs} +2 -4
- package/rust/core/audio/interpreter/{loop_.rs → statements/loop_.rs} +2 -1
- package/rust/core/audio/interpreter/statements/mod.rs +12 -0
- package/rust/core/audio/interpreter/{sleep.rs → statements/sleep.rs} +28 -28
- package/rust/core/audio/interpreter/{spawn.rs → statements/spawn.rs} +3 -2
- package/rust/core/audio/interpreter/{tempo.rs → statements/tempo.rs} +40 -40
- package/rust/core/audio/interpreter/{trigger.rs → statements/trigger.rs} +1 -1
- package/rust/core/audio/loader/trigger.rs +2 -1
- package/rust/core/audio/mod.rs +6 -7
- package/rust/core/audio/player.rs +70 -70
- package/rust/core/audio/special/easing.rs +189 -189
- package/rust/core/audio/special/env.rs +45 -45
- package/rust/core/audio/special/math.rs +134 -134
- package/rust/core/audio/special/mod.rs +9 -9
- package/rust/core/audio/special/modulator.rs +143 -143
- package/rust/core/builder/mod.rs +45 -2
- package/rust/core/debugger/lexer.rs +27 -27
- package/rust/core/debugger/{module.rs → logs.rs} +3 -6
- package/rust/core/debugger/mod.rs +30 -30
- package/rust/core/debugger/preprocessor.rs +27 -27
- package/rust/core/debugger/store.rs +2 -4
- package/rust/core/error/mod.rs +269 -269
- package/rust/core/lexer/driver.rs +59 -61
- package/rust/core/lexer/handler/arrow.rs +82 -82
- package/rust/core/lexer/handler/at.rs +21 -21
- package/rust/core/lexer/handler/brace.rs +41 -41
- package/rust/core/lexer/handler/colon.rs +21 -21
- package/rust/core/lexer/handler/comment.rs +30 -30
- package/rust/core/lexer/handler/dot.rs +21 -21
- package/rust/core/lexer/handler/driver.rs +337 -337
- package/rust/core/lexer/handler/identifier.rs +47 -47
- package/rust/core/lexer/handler/indent.rs +66 -66
- package/rust/core/lexer/handler/mod.rs +15 -15
- package/rust/core/lexer/handler/newline.rs +23 -23
- package/rust/core/lexer/handler/number.rs +31 -31
- package/rust/core/lexer/handler/operator.rs +46 -46
- package/rust/core/lexer/handler/parenthesis.rs +41 -41
- package/rust/core/lexer/handler/slash.rs +21 -21
- package/rust/core/lexer/handler/string.rs +63 -63
- package/rust/core/lexer/mod.rs +3 -3
- package/rust/core/mod.rs +0 -1
- package/rust/core/parser/driver/block.rs +111 -0
- package/rust/core/parser/driver/cursor.rs +82 -0
- package/rust/core/parser/driver/driver_impl.rs +139 -0
- package/rust/core/parser/driver/mod.rs +6 -0
- package/rust/core/parser/driver/parse_array.rs +120 -0
- package/rust/core/parser/driver/parse_map.rs +223 -0
- package/rust/core/parser/driver/parser.rs +160 -0
- package/rust/core/parser/handler/arrow_call.rs +28 -4
- package/rust/core/parser/handler/at.rs +279 -279
- package/rust/core/parser/handler/bank.rs +104 -104
- package/rust/core/parser/handler/condition.rs +83 -83
- package/rust/core/parser/handler/dot.rs +148 -148
- package/rust/core/parser/handler/identifier/automate.rs +254 -254
- package/rust/core/parser/handler/identifier/call.rs +91 -91
- package/rust/core/parser/handler/identifier/emit.rs +70 -70
- package/rust/core/parser/handler/identifier/function.rs +113 -113
- package/rust/core/parser/handler/identifier/group.rs +89 -89
- package/rust/core/parser/handler/identifier/let_.rs +173 -173
- package/rust/core/parser/handler/identifier/mod.rs +55 -55
- package/rust/core/parser/handler/identifier/on.rs +107 -107
- package/rust/core/parser/handler/identifier/print.rs +49 -49
- package/rust/core/parser/handler/identifier/sleep.rs +96 -43
- package/rust/core/parser/handler/identifier/spawn.rs +91 -91
- package/rust/core/parser/handler/identifier/synth.rs +135 -135
- package/rust/core/parser/handler/loop_.rs +194 -194
- package/rust/core/parser/handler/mod.rs +9 -9
- package/rust/core/parser/handler/pattern.rs +1 -1
- package/rust/core/parser/handler/tempo.rs +105 -57
- package/rust/core/parser/statement.rs +10 -11
- package/rust/core/plugin/loader.rs +1 -1
- package/rust/core/plugin/mod.rs +2 -2
- package/rust/core/plugin/runner/mod.rs +11 -0
- package/rust/core/plugin/{runner.rs → runner/non_wasm.rs} +297 -347
- package/rust/core/plugin/runner/wasm32.rs +43 -0
- package/rust/core/preprocessor/loader/inject.rs +278 -0
- package/rust/core/preprocessor/loader/loader_helpers.rs +110 -0
- package/rust/core/preprocessor/loader/mod.rs +235 -0
- package/rust/core/preprocessor/module.rs +2 -7
- package/rust/core/preprocessor/{processor.rs → processor/handlers.rs} +6 -13
- package/rust/core/preprocessor/processor/mod.rs +1 -0
- package/rust/core/preprocessor/resolver/bank.rs +49 -49
- package/rust/core/preprocessor/resolver/call.rs +124 -124
- package/rust/core/preprocessor/resolver/condition.rs +95 -95
- package/rust/core/preprocessor/resolver/driver.rs +324 -324
- package/rust/core/preprocessor/resolver/function.rs +2 -2
- package/rust/core/preprocessor/resolver/group.rs +46 -18
- package/rust/core/preprocessor/resolver/let_.rs +32 -32
- package/rust/core/preprocessor/resolver/loop_.rs +318 -318
- package/rust/core/preprocessor/resolver/mod.rs +16 -16
- package/rust/core/preprocessor/resolver/pattern.rs +83 -83
- package/rust/core/preprocessor/resolver/spawn.rs +99 -99
- package/rust/core/preprocessor/resolver/synth.rs +54 -54
- package/rust/core/preprocessor/resolver/tempo.rs +48 -48
- package/rust/core/preprocessor/resolver/trigger.rs +116 -116
- package/rust/core/preprocessor/resolver/value.rs +176 -176
- package/rust/core/store/global.rs +2 -6
- package/rust/core/store/mod.rs +1 -5
- package/rust/lib.rs +18 -3
- package/rust/main.rs +27 -3
- package/rust/types/Cargo.toml +1 -1
- package/rust/types/src/addons.rs +55 -55
- package/rust/types/src/config.rs +84 -74
- package/rust/types/src/lib.rs +15 -12
- package/rust/types/src/plugin.rs +20 -0
- package/rust/types/src/store.rs +139 -0
- package/rust/types/src/telemetry.rs +85 -85
- package/rust/utils/Cargo.toml +2 -2
- package/rust/utils/src/file.rs +94 -94
- package/rust/utils/src/first_usage.rs +97 -97
- package/rust/utils/src/lib.rs +9 -9
- package/rust/utils/src/logger.rs +200 -200
- package/rust/utils/src/path.rs +129 -88
- package/rust/utils/src/signature.rs +41 -41
- package/rust/utils/src/spinner.rs +20 -20
- package/rust/utils/src/version.rs +27 -27
- package/rust/utils/src/watcher.rs +46 -46
- package/rust/web/api.rs +5 -5
- package/rust/web/cdn.rs +34 -34
- package/rust/web/mod.rs +3 -3
- package/tests/integration.rs +21 -21
- package/typescript/core/functions/index.ts +11 -0
- package/typescript/pkg/devalang_core.ts +20 -4
- package/rust/core/audio/engine/sample.rs +0 -366
- package/rust/core/audio/engine/synth.rs +0 -325
- package/rust/core/audio/interpreter/arrow_call.rs +0 -311
- package/rust/core/audio/renderer.rs +0 -54
- package/rust/core/parser/driver.rs +0 -584
- package/rust/core/preprocessor/loader.rs +0 -637
- package/rust/core/store/export.rs +0 -28
- package/rust/core/store/function.rs +0 -40
- package/rust/core/store/import.rs +0 -28
- package/rust/core/store/variable.rs +0 -51
- package/rust/core/utils/mod.rs +0 -1
- 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
|
+
}
|