@devaloop/devalang 0.0.1-beta.2 → 0.0.1-beta.3
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/Cargo.toml +84 -81
- package/README.md +3 -2
- package/docs/CHANGELOG.md +41 -0
- package/docs/ROADMAP.md +3 -3
- package/examples/chain.deva +19 -0
- package/examples/plugin.deva +10 -10
- package/examples/routing.deva +23 -0
- package/out-tsc/bin/project-version.json +6 -0
- package/out-tsc/pkg/devalang_core_bg.wasm.d.ts +8 -8
- package/out-tsc/scripts/version/copy-to-binary.d.ts +1 -0
- package/out-tsc/scripts/version/copy-to-binary.js +79 -0
- package/package.json +23 -10
- package/project-version.json +3 -3
- package/rust/bindings/Cargo.toml +9 -0
- package/rust/bindings/src/lib.rs +86 -0
- package/rust/cli/addon/commands.rs +35 -0
- package/rust/cli/addon/download.rs +234 -0
- package/rust/cli/addon/install.rs +33 -0
- package/rust/cli/addon/list.rs +224 -0
- package/rust/cli/addon/metadata.rs +124 -0
- package/rust/cli/addon/mod.rs +8 -0
- package/rust/cli/addon/remove.rs +271 -0
- package/rust/cli/addon/update.rs +305 -0
- package/rust/cli/{install/addon.rs → addon/utils.rs} +109 -118
- package/rust/cli/build/commands.rs +153 -153
- package/rust/cli/build/process.rs +165 -165
- package/rust/cli/check/mod.rs +208 -208
- package/rust/cli/discover/commands.rs +275 -253
- package/rust/cli/discover/config.rs +109 -111
- package/rust/cli/discover/fs.rs +19 -19
- package/rust/cli/discover/install.rs +214 -103
- package/rust/cli/discover/metadata.rs +48 -48
- package/rust/cli/discover/mod.rs +5 -5
- package/rust/cli/me/commands.rs +52 -0
- package/rust/cli/me/mod.rs +1 -0
- package/rust/cli/mod.rs +12 -12
- package/rust/cli/parser.rs +30 -69
- package/rust/cli/play/commands.rs +375 -375
- package/rust/cli/play/process.rs +159 -159
- package/rust/core/audio/engine/driver.rs +19 -2
- package/rust/core/audio/engine/export.rs +169 -169
- package/rust/core/audio/engine/mod.rs +56 -56
- package/rust/core/audio/engine/notes/dsp.rs +88 -85
- package/rust/core/audio/engine/notes/mod.rs +53 -44
- package/rust/core/audio/engine/notes/params.rs +294 -294
- package/rust/core/audio/engine/sample/insert.rs +148 -47
- package/rust/core/audio/engine/sample/mod.rs +40 -40
- package/rust/core/audio/engine/sample/padding.rs +170 -170
- package/rust/core/audio/evaluator/condition.rs +61 -61
- package/rust/core/audio/evaluator/numeric.rs +152 -152
- package/rust/core/audio/evaluator/rhs.rs +16 -16
- package/rust/core/audio/evaluator/string_expr.rs +94 -94
- package/rust/core/audio/interpreter/driver.rs +574 -574
- package/rust/core/audio/interpreter/mod.rs +2 -2
- package/rust/core/audio/interpreter/statements/arrow_call/interprete.rs +9 -5
- package/rust/core/audio/interpreter/statements/arrow_call/methods/chord.rs +398 -384
- package/rust/core/audio/interpreter/statements/arrow_call/methods/effects.rs +323 -0
- package/rust/core/audio/interpreter/statements/arrow_call/methods/mod.rs +1 -0
- package/rust/core/audio/interpreter/statements/arrow_call/methods/note.rs +66 -11
- package/rust/core/audio/interpreter/statements/arrow_call/mod.rs +3 -3
- package/rust/core/audio/interpreter/statements/arrow_call/types/arp.rs +192 -192
- package/rust/core/audio/interpreter/statements/arrow_call/types/mod.rs +24 -24
- package/rust/core/audio/interpreter/statements/arrow_call/types/pad.rs +116 -116
- package/rust/core/audio/interpreter/statements/arrow_call/types/pluck.rs +97 -97
- package/rust/core/audio/interpreter/statements/arrow_call/types/sub.rs +100 -100
- package/rust/core/audio/interpreter/statements/automate.rs +16 -16
- package/rust/core/audio/interpreter/statements/call.rs +31 -1
- package/rust/core/audio/interpreter/statements/condition.rs +72 -72
- package/rust/core/audio/interpreter/statements/function.rs +24 -24
- package/rust/core/audio/interpreter/statements/let_.rs +36 -36
- package/rust/core/audio/interpreter/statements/load.rs +17 -17
- package/rust/core/audio/interpreter/statements/loop_.rs +115 -115
- package/rust/core/audio/interpreter/statements/spawn.rs +51 -2
- package/rust/core/audio/interpreter/statements/trigger.rs +242 -239
- package/rust/core/audio/loader/trigger.rs +98 -98
- package/rust/core/audio/player.rs +70 -70
- package/rust/core/audio/special/mod.rs +9 -9
- package/rust/core/builder/mod.rs +129 -129
- package/rust/core/debugger/lexer.rs +27 -27
- package/rust/core/debugger/logs.rs +52 -52
- package/rust/core/debugger/preprocessor.rs +27 -27
- package/rust/core/debugger/store.rs +38 -38
- package/rust/core/lexer/driver.rs +59 -59
- 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 +9 -9
- package/rust/core/parser/driver/block.rs +111 -111
- package/rust/core/parser/driver/cursor.rs +82 -82
- package/rust/core/parser/driver/driver_impl.rs +21 -1
- package/rust/core/parser/driver/mod.rs +6 -6
- package/rust/core/parser/driver/parse_array.rs +120 -120
- package/rust/core/parser/driver/parse_map.rs +247 -223
- package/rust/core/parser/driver/parser.rs +160 -160
- package/rust/core/parser/handler/arrow_call.rs +65 -14
- package/rust/core/parser/handler/identifier/synth.rs +171 -135
- package/rust/core/parser/handler/mod.rs +9 -9
- package/rust/core/parser/handler/pattern.rs +24 -1
- package/rust/core/plugin/loader.rs +137 -137
- package/rust/core/plugin/mod.rs +2 -2
- package/rust/core/plugin/runner/non_wasm.rs +481 -297
- package/rust/core/plugin/runner/wasm32.rs +1 -0
- package/rust/core/preprocessor/loader/inject.rs +313 -278
- package/rust/core/preprocessor/loader/loader_helpers.rs +110 -110
- package/rust/core/preprocessor/loader/mod.rs +235 -235
- package/rust/core/preprocessor/module.rs +55 -55
- package/rust/core/preprocessor/processor/handlers.rs +107 -107
- 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 +69 -69
- package/rust/core/preprocessor/resolver/group.rs +122 -122
- 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 +95 -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 +57 -57
- package/rust/lib.rs +323 -323
- package/rust/macros/Cargo.toml +14 -0
- package/rust/macros/src/lib.rs +52 -0
- package/rust/main.rs +311 -142
- package/rust/types/Cargo.toml +1 -1
- package/rust/types/src/addons.rs +3 -1
- package/rust/types/src/config.rs +1 -3
- package/rust/utils/Cargo.toml +5 -2
- package/rust/utils/src/file.rs +397 -14
- package/rust/utils/src/path.rs +31 -2
- package/rust/utils/src/version.rs +38 -7
- package/rust/web/auth.rs +5 -0
- package/rust/web/forge.rs +5 -0
- package/rust/web/mod.rs +5 -3
- package/typescript/scripts/version/copy-to-binary.ts +82 -0
- package/rust/cli/bank/api.rs +0 -122
- package/rust/cli/bank/commands.rs +0 -306
- package/rust/cli/bank/mod.rs +0 -29
- package/rust/cli/install/bank.rs +0 -72
- package/rust/cli/install/commands.rs +0 -35
- package/rust/cli/install/mod.rs +0 -4
- package/rust/cli/install/plugin.rs +0 -80
|
@@ -1,63 +1,63 @@
|
|
|
1
|
-
use crate::core::lexer::token::{Token, TokenKind};
|
|
2
|
-
|
|
3
|
-
pub fn handle_string_lexer(
|
|
4
|
-
ch: char,
|
|
5
|
-
chars: &mut std::iter::Peekable<std::str::Chars>,
|
|
6
|
-
current_indent: &mut usize,
|
|
7
|
-
_indent_stack: &mut [usize],
|
|
8
|
-
tokens: &mut Vec<Token>,
|
|
9
|
-
line: &mut usize,
|
|
10
|
-
column: &mut usize,
|
|
11
|
-
) {
|
|
12
|
-
let quote_char = ch;
|
|
13
|
-
|
|
14
|
-
let start_column = *column;
|
|
15
|
-
let start_line = *line;
|
|
16
|
-
|
|
17
|
-
*column += 1;
|
|
18
|
-
|
|
19
|
-
let mut string_content = String::new();
|
|
20
|
-
|
|
21
|
-
while let Some(&next_ch) = chars.peek() {
|
|
22
|
-
if next_ch == quote_char {
|
|
23
|
-
chars.next();
|
|
24
|
-
*column += 1;
|
|
25
|
-
break;
|
|
26
|
-
} else if next_ch == '\\' {
|
|
27
|
-
chars.next();
|
|
28
|
-
*column += 1;
|
|
29
|
-
|
|
30
|
-
if let Some(escaped) = chars.next() {
|
|
31
|
-
match escaped {
|
|
32
|
-
'n' => string_content.push('\n'),
|
|
33
|
-
't' => string_content.push('\t'),
|
|
34
|
-
'\\' => string_content.push('\\'),
|
|
35
|
-
'"' => string_content.push('"'),
|
|
36
|
-
'\'' => string_content.push('\''),
|
|
37
|
-
other => {
|
|
38
|
-
string_content.push('\\');
|
|
39
|
-
string_content.push(other);
|
|
40
|
-
}
|
|
41
|
-
}
|
|
42
|
-
*column += 1;
|
|
43
|
-
}
|
|
44
|
-
} else {
|
|
45
|
-
chars.next();
|
|
46
|
-
if next_ch == '\n' {
|
|
47
|
-
*line += 1;
|
|
48
|
-
*column = 1;
|
|
49
|
-
} else {
|
|
50
|
-
*column += 1;
|
|
51
|
-
}
|
|
52
|
-
string_content.push(next_ch);
|
|
53
|
-
}
|
|
54
|
-
}
|
|
55
|
-
|
|
56
|
-
tokens.push(Token {
|
|
57
|
-
kind: TokenKind::String,
|
|
58
|
-
lexeme: string_content,
|
|
59
|
-
indent: *current_indent,
|
|
60
|
-
line: start_line,
|
|
61
|
-
column: start_column,
|
|
62
|
-
});
|
|
63
|
-
}
|
|
1
|
+
use crate::core::lexer::token::{Token, TokenKind};
|
|
2
|
+
|
|
3
|
+
pub fn handle_string_lexer(
|
|
4
|
+
ch: char,
|
|
5
|
+
chars: &mut std::iter::Peekable<std::str::Chars>,
|
|
6
|
+
current_indent: &mut usize,
|
|
7
|
+
_indent_stack: &mut [usize],
|
|
8
|
+
tokens: &mut Vec<Token>,
|
|
9
|
+
line: &mut usize,
|
|
10
|
+
column: &mut usize,
|
|
11
|
+
) {
|
|
12
|
+
let quote_char = ch;
|
|
13
|
+
|
|
14
|
+
let start_column = *column;
|
|
15
|
+
let start_line = *line;
|
|
16
|
+
|
|
17
|
+
*column += 1;
|
|
18
|
+
|
|
19
|
+
let mut string_content = String::new();
|
|
20
|
+
|
|
21
|
+
while let Some(&next_ch) = chars.peek() {
|
|
22
|
+
if next_ch == quote_char {
|
|
23
|
+
chars.next();
|
|
24
|
+
*column += 1;
|
|
25
|
+
break;
|
|
26
|
+
} else if next_ch == '\\' {
|
|
27
|
+
chars.next();
|
|
28
|
+
*column += 1;
|
|
29
|
+
|
|
30
|
+
if let Some(escaped) = chars.next() {
|
|
31
|
+
match escaped {
|
|
32
|
+
'n' => string_content.push('\n'),
|
|
33
|
+
't' => string_content.push('\t'),
|
|
34
|
+
'\\' => string_content.push('\\'),
|
|
35
|
+
'"' => string_content.push('"'),
|
|
36
|
+
'\'' => string_content.push('\''),
|
|
37
|
+
other => {
|
|
38
|
+
string_content.push('\\');
|
|
39
|
+
string_content.push(other);
|
|
40
|
+
}
|
|
41
|
+
}
|
|
42
|
+
*column += 1;
|
|
43
|
+
}
|
|
44
|
+
} else {
|
|
45
|
+
chars.next();
|
|
46
|
+
if next_ch == '\n' {
|
|
47
|
+
*line += 1;
|
|
48
|
+
*column = 1;
|
|
49
|
+
} else {
|
|
50
|
+
*column += 1;
|
|
51
|
+
}
|
|
52
|
+
string_content.push(next_ch);
|
|
53
|
+
}
|
|
54
|
+
}
|
|
55
|
+
|
|
56
|
+
tokens.push(Token {
|
|
57
|
+
kind: TokenKind::String,
|
|
58
|
+
lexeme: string_content,
|
|
59
|
+
indent: *current_indent,
|
|
60
|
+
line: start_line,
|
|
61
|
+
column: start_column,
|
|
62
|
+
});
|
|
63
|
+
}
|
package/rust/core/lexer/mod.rs
CHANGED
|
@@ -1,3 +1,3 @@
|
|
|
1
|
-
pub mod driver;
|
|
2
|
-
pub mod handler;
|
|
3
|
-
pub mod token;
|
|
1
|
+
pub mod driver;
|
|
2
|
+
pub mod handler;
|
|
3
|
+
pub mod token;
|
package/rust/core/mod.rs
CHANGED
|
@@ -1,9 +1,9 @@
|
|
|
1
|
-
pub mod audio;
|
|
2
|
-
pub mod builder;
|
|
3
|
-
pub mod debugger;
|
|
4
|
-
pub mod error;
|
|
5
|
-
pub mod lexer;
|
|
6
|
-
pub mod parser;
|
|
7
|
-
pub mod plugin;
|
|
8
|
-
pub mod preprocessor;
|
|
9
|
-
pub mod store;
|
|
1
|
+
pub mod audio;
|
|
2
|
+
pub mod builder;
|
|
3
|
+
pub mod debugger;
|
|
4
|
+
pub mod error;
|
|
5
|
+
pub mod lexer;
|
|
6
|
+
pub mod parser;
|
|
7
|
+
pub mod plugin;
|
|
8
|
+
pub mod preprocessor;
|
|
9
|
+
pub mod store;
|
|
@@ -1,111 +1,111 @@
|
|
|
1
|
-
use crate::core::lexer::token::Token;
|
|
2
|
-
use crate::core::lexer::token::TokenKind;
|
|
3
|
-
use crate::core::store::global::GlobalStore;
|
|
4
|
-
|
|
5
|
-
pub fn collect_block_tokens(
|
|
6
|
-
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
7
|
-
base_indent: usize,
|
|
8
|
-
) -> Vec<Token> {
|
|
9
|
-
let mut tokens = Vec::new();
|
|
10
|
-
|
|
11
|
-
while let Some(tok) = parser.peek() {
|
|
12
|
-
if tok.indent <= base_indent && tok.kind != TokenKind::Newline {
|
|
13
|
-
break;
|
|
14
|
-
}
|
|
15
|
-
if let Some(t) = parser.advance() {
|
|
16
|
-
tokens.push(t.clone());
|
|
17
|
-
} else {
|
|
18
|
-
// Unexpected EOF while collecting block tokens: stop collecting
|
|
19
|
-
break;
|
|
20
|
-
}
|
|
21
|
-
}
|
|
22
|
-
|
|
23
|
-
tokens
|
|
24
|
-
}
|
|
25
|
-
|
|
26
|
-
pub fn collect_until<F>(
|
|
27
|
-
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
28
|
-
condition: F,
|
|
29
|
-
) -> Vec<Token>
|
|
30
|
-
where
|
|
31
|
-
F: Fn(&Token) -> bool,
|
|
32
|
-
{
|
|
33
|
-
let mut collected = Vec::new();
|
|
34
|
-
while let Some(token) = parser.peek() {
|
|
35
|
-
if condition(token) {
|
|
36
|
-
break;
|
|
37
|
-
}
|
|
38
|
-
if token.kind == TokenKind::EOF {
|
|
39
|
-
break;
|
|
40
|
-
}
|
|
41
|
-
if let Some(t) = parser.advance() {
|
|
42
|
-
collected.push(t.clone());
|
|
43
|
-
} else {
|
|
44
|
-
break;
|
|
45
|
-
}
|
|
46
|
-
}
|
|
47
|
-
|
|
48
|
-
collected
|
|
49
|
-
}
|
|
50
|
-
|
|
51
|
-
pub fn parse_block(
|
|
52
|
-
parser: &crate::core::parser::driver::parser::Parser,
|
|
53
|
-
tokens: Vec<Token>,
|
|
54
|
-
global_store: &mut GlobalStore,
|
|
55
|
-
) -> Vec<crate::core::parser::statement::Statement> {
|
|
56
|
-
let mut inner_parser = crate::core::parser::driver::parser::Parser {
|
|
57
|
-
resolve_modules: parser.resolve_modules,
|
|
58
|
-
tokens,
|
|
59
|
-
token_index: 0,
|
|
60
|
-
current_module: parser.current_module.clone(),
|
|
61
|
-
previous: None,
|
|
62
|
-
};
|
|
63
|
-
|
|
64
|
-
inner_parser.parse_tokens(inner_parser.tokens.clone(), global_store)
|
|
65
|
-
}
|
|
66
|
-
|
|
67
|
-
pub fn parse_block_until_next_else(
|
|
68
|
-
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
69
|
-
base_indent: usize,
|
|
70
|
-
global_store: &mut GlobalStore,
|
|
71
|
-
) -> Vec<crate::core::parser::statement::Statement> {
|
|
72
|
-
let mut block_tokens = Vec::new();
|
|
73
|
-
|
|
74
|
-
while let Some(tok) = parser.peek() {
|
|
75
|
-
// Stop if we encounter an 'else' at same indent level
|
|
76
|
-
if tok.lexeme == "else" && tok.indent == base_indent {
|
|
77
|
-
break;
|
|
78
|
-
}
|
|
79
|
-
if let Some(t) = parser.advance() {
|
|
80
|
-
block_tokens.push(t.clone());
|
|
81
|
-
} else {
|
|
82
|
-
break;
|
|
83
|
-
}
|
|
84
|
-
}
|
|
85
|
-
|
|
86
|
-
parse_block(parser, block_tokens, global_store)
|
|
87
|
-
}
|
|
88
|
-
|
|
89
|
-
pub fn parse_block_until_else_or_dedent(
|
|
90
|
-
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
91
|
-
base_indent: usize,
|
|
92
|
-
global_store: &mut GlobalStore,
|
|
93
|
-
) -> Vec<crate::core::parser::statement::Statement> {
|
|
94
|
-
let mut tokens = Vec::new();
|
|
95
|
-
|
|
96
|
-
while let Some(tok) = parser.peek() {
|
|
97
|
-
if tok.lexeme == "else" && tok.indent == base_indent {
|
|
98
|
-
break;
|
|
99
|
-
}
|
|
100
|
-
if tok.indent < base_indent && tok.kind != TokenKind::Newline {
|
|
101
|
-
break;
|
|
102
|
-
}
|
|
103
|
-
if let Some(t) = parser.advance() {
|
|
104
|
-
tokens.push(t.clone());
|
|
105
|
-
} else {
|
|
106
|
-
break;
|
|
107
|
-
}
|
|
108
|
-
}
|
|
109
|
-
|
|
110
|
-
parse_block(parser, tokens, global_store)
|
|
111
|
-
}
|
|
1
|
+
use crate::core::lexer::token::Token;
|
|
2
|
+
use crate::core::lexer::token::TokenKind;
|
|
3
|
+
use crate::core::store::global::GlobalStore;
|
|
4
|
+
|
|
5
|
+
pub fn collect_block_tokens(
|
|
6
|
+
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
7
|
+
base_indent: usize,
|
|
8
|
+
) -> Vec<Token> {
|
|
9
|
+
let mut tokens = Vec::new();
|
|
10
|
+
|
|
11
|
+
while let Some(tok) = parser.peek() {
|
|
12
|
+
if tok.indent <= base_indent && tok.kind != TokenKind::Newline {
|
|
13
|
+
break;
|
|
14
|
+
}
|
|
15
|
+
if let Some(t) = parser.advance() {
|
|
16
|
+
tokens.push(t.clone());
|
|
17
|
+
} else {
|
|
18
|
+
// Unexpected EOF while collecting block tokens: stop collecting
|
|
19
|
+
break;
|
|
20
|
+
}
|
|
21
|
+
}
|
|
22
|
+
|
|
23
|
+
tokens
|
|
24
|
+
}
|
|
25
|
+
|
|
26
|
+
pub fn collect_until<F>(
|
|
27
|
+
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
28
|
+
condition: F,
|
|
29
|
+
) -> Vec<Token>
|
|
30
|
+
where
|
|
31
|
+
F: Fn(&Token) -> bool,
|
|
32
|
+
{
|
|
33
|
+
let mut collected = Vec::new();
|
|
34
|
+
while let Some(token) = parser.peek() {
|
|
35
|
+
if condition(token) {
|
|
36
|
+
break;
|
|
37
|
+
}
|
|
38
|
+
if token.kind == TokenKind::EOF {
|
|
39
|
+
break;
|
|
40
|
+
}
|
|
41
|
+
if let Some(t) = parser.advance() {
|
|
42
|
+
collected.push(t.clone());
|
|
43
|
+
} else {
|
|
44
|
+
break;
|
|
45
|
+
}
|
|
46
|
+
}
|
|
47
|
+
|
|
48
|
+
collected
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
pub fn parse_block(
|
|
52
|
+
parser: &crate::core::parser::driver::parser::Parser,
|
|
53
|
+
tokens: Vec<Token>,
|
|
54
|
+
global_store: &mut GlobalStore,
|
|
55
|
+
) -> Vec<crate::core::parser::statement::Statement> {
|
|
56
|
+
let mut inner_parser = crate::core::parser::driver::parser::Parser {
|
|
57
|
+
resolve_modules: parser.resolve_modules,
|
|
58
|
+
tokens,
|
|
59
|
+
token_index: 0,
|
|
60
|
+
current_module: parser.current_module.clone(),
|
|
61
|
+
previous: None,
|
|
62
|
+
};
|
|
63
|
+
|
|
64
|
+
inner_parser.parse_tokens(inner_parser.tokens.clone(), global_store)
|
|
65
|
+
}
|
|
66
|
+
|
|
67
|
+
pub fn parse_block_until_next_else(
|
|
68
|
+
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
69
|
+
base_indent: usize,
|
|
70
|
+
global_store: &mut GlobalStore,
|
|
71
|
+
) -> Vec<crate::core::parser::statement::Statement> {
|
|
72
|
+
let mut block_tokens = Vec::new();
|
|
73
|
+
|
|
74
|
+
while let Some(tok) = parser.peek() {
|
|
75
|
+
// Stop if we encounter an 'else' at same indent level
|
|
76
|
+
if tok.lexeme == "else" && tok.indent == base_indent {
|
|
77
|
+
break;
|
|
78
|
+
}
|
|
79
|
+
if let Some(t) = parser.advance() {
|
|
80
|
+
block_tokens.push(t.clone());
|
|
81
|
+
} else {
|
|
82
|
+
break;
|
|
83
|
+
}
|
|
84
|
+
}
|
|
85
|
+
|
|
86
|
+
parse_block(parser, block_tokens, global_store)
|
|
87
|
+
}
|
|
88
|
+
|
|
89
|
+
pub fn parse_block_until_else_or_dedent(
|
|
90
|
+
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
91
|
+
base_indent: usize,
|
|
92
|
+
global_store: &mut GlobalStore,
|
|
93
|
+
) -> Vec<crate::core::parser::statement::Statement> {
|
|
94
|
+
let mut tokens = Vec::new();
|
|
95
|
+
|
|
96
|
+
while let Some(tok) = parser.peek() {
|
|
97
|
+
if tok.lexeme == "else" && tok.indent == base_indent {
|
|
98
|
+
break;
|
|
99
|
+
}
|
|
100
|
+
if tok.indent < base_indent && tok.kind != TokenKind::Newline {
|
|
101
|
+
break;
|
|
102
|
+
}
|
|
103
|
+
if let Some(t) = parser.advance() {
|
|
104
|
+
tokens.push(t.clone());
|
|
105
|
+
} else {
|
|
106
|
+
break;
|
|
107
|
+
}
|
|
108
|
+
}
|
|
109
|
+
|
|
110
|
+
parse_block(parser, tokens, global_store)
|
|
111
|
+
}
|
|
@@ -1,82 +1,82 @@
|
|
|
1
|
-
use crate::core::lexer::token::{Token, TokenKind};
|
|
2
|
-
|
|
3
|
-
pub fn advance_impl(parser: &mut crate::core::parser::driver::parser::Parser) -> Option<&Token> {
|
|
4
|
-
if is_eof_impl(parser) {
|
|
5
|
-
return None;
|
|
6
|
-
}
|
|
7
|
-
|
|
8
|
-
parser.previous = parser.tokens.get(parser.token_index).cloned();
|
|
9
|
-
parser.token_index += 1;
|
|
10
|
-
|
|
11
|
-
parser.tokens.get(parser.token_index - 1)
|
|
12
|
-
}
|
|
13
|
-
|
|
14
|
-
pub fn peek_impl(parser: &crate::core::parser::driver::parser::Parser) -> Option<&Token> {
|
|
15
|
-
parser.tokens.get(parser.token_index)
|
|
16
|
-
}
|
|
17
|
-
|
|
18
|
-
pub fn peek_clone_impl(parser: &crate::core::parser::driver::parser::Parser) -> Option<Token> {
|
|
19
|
-
parser.tokens.get(parser.token_index).cloned()
|
|
20
|
-
}
|
|
21
|
-
|
|
22
|
-
pub fn peek_nth_impl(
|
|
23
|
-
parser: &crate::core::parser::driver::parser::Parser,
|
|
24
|
-
n: usize,
|
|
25
|
-
) -> Option<&Token> {
|
|
26
|
-
if parser.token_index + n < parser.tokens.len() {
|
|
27
|
-
parser.tokens.get(parser.token_index + n)
|
|
28
|
-
} else {
|
|
29
|
-
None
|
|
30
|
-
}
|
|
31
|
-
}
|
|
32
|
-
|
|
33
|
-
pub fn peek_nth_kind_impl(
|
|
34
|
-
parser: &crate::core::parser::driver::parser::Parser,
|
|
35
|
-
n: usize,
|
|
36
|
-
) -> Option<TokenKind> {
|
|
37
|
-
peek_nth_impl(parser, n).map(|t| t.kind.clone())
|
|
38
|
-
}
|
|
39
|
-
|
|
40
|
-
pub fn is_eof_impl(parser: &crate::core::parser::driver::parser::Parser) -> bool {
|
|
41
|
-
parser.token_index >= parser.tokens.len()
|
|
42
|
-
}
|
|
43
|
-
|
|
44
|
-
pub fn previous_clone_impl(parser: &crate::core::parser::driver::parser::Parser) -> Option<Token> {
|
|
45
|
-
parser.previous.clone()
|
|
46
|
-
}
|
|
47
|
-
|
|
48
|
-
pub fn match_token_impl(
|
|
49
|
-
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
50
|
-
kind: TokenKind,
|
|
51
|
-
) -> bool {
|
|
52
|
-
if let Some(tok) = peek_impl(parser) {
|
|
53
|
-
if tok.kind == kind {
|
|
54
|
-
advance_impl(parser);
|
|
55
|
-
return true;
|
|
56
|
-
}
|
|
57
|
-
}
|
|
58
|
-
false
|
|
59
|
-
}
|
|
60
|
-
|
|
61
|
-
pub fn advance_if_impl(
|
|
62
|
-
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
63
|
-
kind: TokenKind,
|
|
64
|
-
) -> bool {
|
|
65
|
-
match_token_impl(parser, kind)
|
|
66
|
-
}
|
|
67
|
-
|
|
68
|
-
pub fn peek_is_impl(parser: &crate::core::parser::driver::parser::Parser, expected: &str) -> bool {
|
|
69
|
-
peek_impl(parser).is_some_and(|t| t.lexeme == expected)
|
|
70
|
-
}
|
|
71
|
-
|
|
72
|
-
pub fn expect_impl(
|
|
73
|
-
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
74
|
-
kind: TokenKind,
|
|
75
|
-
) -> Result<&Token, String> {
|
|
76
|
-
let tok = advance_impl(parser).ok_or("Unexpected end of input")?;
|
|
77
|
-
if tok.kind == kind {
|
|
78
|
-
Ok(tok)
|
|
79
|
-
} else {
|
|
80
|
-
Err(format!("Expected {:?}, got {:?}", kind, tok.kind))
|
|
81
|
-
}
|
|
82
|
-
}
|
|
1
|
+
use crate::core::lexer::token::{Token, TokenKind};
|
|
2
|
+
|
|
3
|
+
pub fn advance_impl(parser: &mut crate::core::parser::driver::parser::Parser) -> Option<&Token> {
|
|
4
|
+
if is_eof_impl(parser) {
|
|
5
|
+
return None;
|
|
6
|
+
}
|
|
7
|
+
|
|
8
|
+
parser.previous = parser.tokens.get(parser.token_index).cloned();
|
|
9
|
+
parser.token_index += 1;
|
|
10
|
+
|
|
11
|
+
parser.tokens.get(parser.token_index - 1)
|
|
12
|
+
}
|
|
13
|
+
|
|
14
|
+
pub fn peek_impl(parser: &crate::core::parser::driver::parser::Parser) -> Option<&Token> {
|
|
15
|
+
parser.tokens.get(parser.token_index)
|
|
16
|
+
}
|
|
17
|
+
|
|
18
|
+
pub fn peek_clone_impl(parser: &crate::core::parser::driver::parser::Parser) -> Option<Token> {
|
|
19
|
+
parser.tokens.get(parser.token_index).cloned()
|
|
20
|
+
}
|
|
21
|
+
|
|
22
|
+
pub fn peek_nth_impl(
|
|
23
|
+
parser: &crate::core::parser::driver::parser::Parser,
|
|
24
|
+
n: usize,
|
|
25
|
+
) -> Option<&Token> {
|
|
26
|
+
if parser.token_index + n < parser.tokens.len() {
|
|
27
|
+
parser.tokens.get(parser.token_index + n)
|
|
28
|
+
} else {
|
|
29
|
+
None
|
|
30
|
+
}
|
|
31
|
+
}
|
|
32
|
+
|
|
33
|
+
pub fn peek_nth_kind_impl(
|
|
34
|
+
parser: &crate::core::parser::driver::parser::Parser,
|
|
35
|
+
n: usize,
|
|
36
|
+
) -> Option<TokenKind> {
|
|
37
|
+
peek_nth_impl(parser, n).map(|t| t.kind.clone())
|
|
38
|
+
}
|
|
39
|
+
|
|
40
|
+
pub fn is_eof_impl(parser: &crate::core::parser::driver::parser::Parser) -> bool {
|
|
41
|
+
parser.token_index >= parser.tokens.len()
|
|
42
|
+
}
|
|
43
|
+
|
|
44
|
+
pub fn previous_clone_impl(parser: &crate::core::parser::driver::parser::Parser) -> Option<Token> {
|
|
45
|
+
parser.previous.clone()
|
|
46
|
+
}
|
|
47
|
+
|
|
48
|
+
pub fn match_token_impl(
|
|
49
|
+
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
50
|
+
kind: TokenKind,
|
|
51
|
+
) -> bool {
|
|
52
|
+
if let Some(tok) = peek_impl(parser) {
|
|
53
|
+
if tok.kind == kind {
|
|
54
|
+
advance_impl(parser);
|
|
55
|
+
return true;
|
|
56
|
+
}
|
|
57
|
+
}
|
|
58
|
+
false
|
|
59
|
+
}
|
|
60
|
+
|
|
61
|
+
pub fn advance_if_impl(
|
|
62
|
+
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
63
|
+
kind: TokenKind,
|
|
64
|
+
) -> bool {
|
|
65
|
+
match_token_impl(parser, kind)
|
|
66
|
+
}
|
|
67
|
+
|
|
68
|
+
pub fn peek_is_impl(parser: &crate::core::parser::driver::parser::Parser, expected: &str) -> bool {
|
|
69
|
+
peek_impl(parser).is_some_and(|t| t.lexeme == expected)
|
|
70
|
+
}
|
|
71
|
+
|
|
72
|
+
pub fn expect_impl(
|
|
73
|
+
parser: &mut crate::core::parser::driver::parser::Parser,
|
|
74
|
+
kind: TokenKind,
|
|
75
|
+
) -> Result<&Token, String> {
|
|
76
|
+
let tok = advance_impl(parser).ok_or("Unexpected end of input")?;
|
|
77
|
+
if tok.kind == kind {
|
|
78
|
+
Ok(tok)
|
|
79
|
+
} else {
|
|
80
|
+
Err(format!("Expected {:?}, got {:?}", kind, tok.kind))
|
|
81
|
+
}
|
|
82
|
+
}
|
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
use crate::core::lexer::token::TokenKind;
|
|
2
|
+
use crate::core::parser::statement::StatementKind;
|
|
2
3
|
use crate::core::store::global::GlobalStore;
|
|
3
4
|
use devalang_types::Value;
|
|
4
5
|
|
|
@@ -30,7 +31,25 @@ pub fn parse_tokens_impl(
|
|
|
30
31
|
continue;
|
|
31
32
|
}
|
|
32
33
|
|
|
33
|
-
|
|
34
|
+
// If the line starts with an Arrow ("->"), treat it as a continuation of the
|
|
35
|
+
// previous arrow call: reuse the target from the last parsed ArrowCall statement
|
|
36
|
+
// so chained effects on subsequent lines are supported.
|
|
37
|
+
let statement = if token.kind == TokenKind::Arrow {
|
|
38
|
+
// find previous ArrowCall target if any
|
|
39
|
+
let prev_target = statements.last().and_then(
|
|
40
|
+
|s: &crate::core::parser::statement::Statement| match &s.kind {
|
|
41
|
+
StatementKind::ArrowCall { target, .. } => Some(target.clone()),
|
|
42
|
+
_ => None,
|
|
43
|
+
},
|
|
44
|
+
);
|
|
45
|
+
|
|
46
|
+
crate::core::parser::handler::arrow_call::parse_arrow_continuation(
|
|
47
|
+
parser,
|
|
48
|
+
global_store,
|
|
49
|
+
prev_target,
|
|
50
|
+
)
|
|
51
|
+
} else {
|
|
52
|
+
match &token.kind {
|
|
34
53
|
TokenKind::At => crate::core::parser::handler::at::parse_at_token(parser, global_store),
|
|
35
54
|
TokenKind::Identifier => {
|
|
36
55
|
if
|
|
@@ -112,6 +131,7 @@ pub fn parse_tokens_impl(
|
|
|
112
131
|
token.column
|
|
113
132
|
)
|
|
114
133
|
}
|
|
134
|
+
}
|
|
115
135
|
};
|
|
116
136
|
|
|
117
137
|
statements.push(statement);
|
|
@@ -1,6 +1,6 @@
|
|
|
1
|
-
pub mod block;
|
|
2
|
-
pub mod cursor;
|
|
3
|
-
pub mod driver_impl;
|
|
4
|
-
pub mod parse_array;
|
|
5
|
-
pub mod parse_map;
|
|
6
|
-
pub mod parser;
|
|
1
|
+
pub mod block;
|
|
2
|
+
pub mod cursor;
|
|
3
|
+
pub mod driver_impl;
|
|
4
|
+
pub mod parse_array;
|
|
5
|
+
pub mod parse_map;
|
|
6
|
+
pub mod parser;
|