rebel-parse: ast: typ: allow to distinguish between free and dynamic array length

1 files changed, 13 insertions, 5 deletions

diff --git a/crates/rebel-parse/src/grammar/recipe.rs b/crates/rebel-parse/src/grammar/recipe.rs
index 893d4b7..73ddb2e 100644
--- a/crates/rebel-parse/src/grammar/recipe.rs
+++ b/crates/rebel-parse/src/grammar/recipe.rs
@@ -66,16 +66,24 @@ peg::parser! {
 			/ p('(') elements:(typ() ** p(',')) p(',')? p(')') {
 				typ::Literal::Tuple(elements)
 			}
-			/ p('[') typ:typ() len:tagged(<p(';')>, <number()>)? p(']') { ?
-				let len = len
-					.map(|n| u32::try_from(n).or(Err("Invalid array length")))
-					.transpose()?;
-				Ok(typ::Literal::Array(Box::new(typ), len))
+			/ p('[') typ:typ() len:array_len() p(']') {
+				typ::Literal::Array(Box::new(typ), len)
 			}
 			/ p('{') entries:delimited(<struct_field_typ()>, <p(',')>) p('}') {
 				typ::Literal::Struct(entries)
 			}
 
+		rule array_len() -> typ::ArrayLen
+			= p(';') len:number() { ?
+				Ok(typ::ArrayLen::Fixed(len.try_into().or(Err("Invalid array length"))?))
+			}
+			/ p(';') [Token::Ident(name) if *name == "_"] {
+				typ::ArrayLen::Free
+			}
+			/ {
+				typ::ArrayLen::Dynamic
+			}
+
 		rule pat() -> Pat<'a>
 			= path:path() { Pat::Path(path) }