feat(parser): support for mutable variables.

fuse-lang · Mar 7, 2024 · 60a202b · 60a202b
1 parent a436b6b
commit 60a202b
Show file tree

Hide file tree

Showing 11 changed files with 18 additions and 3 deletions.
diff --git a/crates/fuse-ast/src/ast.rs b/crates/fuse-ast/src/ast.rs
@@ -77,6 +77,7 @@ pub enum BindingPatternKind {
 pub struct BindingIdentifier {
     pub span: Span,
     pub atom: Atom,
+    pub mutable: bool,
 }
 
 #[serializable]

diff --git a/crates/fuse-ast/src/ast_factory.rs b/crates/fuse-ast/src/ast_factory.rs
@@ -75,8 +75,8 @@ impl AstFactory {
         }
     }
 
-    pub fn binding_identifier(&self, span: Span, atom: Atom) -> BindingIdentifier {
-        BindingIdentifier { span, atom }
+    pub fn binding_identifier(&self, span: Span, atom: Atom, mutable: bool) -> BindingIdentifier {
+        BindingIdentifier { span, atom, mutable }
     }
 
     pub fn atom(&self, value: &str) -> Atom {

diff --git a/crates/fuse-parser/src/lexer/keyword.rs b/crates/fuse-parser/src/lexer/keyword.rs
@@ -46,6 +46,7 @@ impl<'a> Lexer<'a> {
             }
             'm' => {
                 "atch" => TokenKind::Match,
+                "ut" => TokenKind::Mut,
             }
             'n' => {
                 "ever" => TokenKind::Never,

diff --git a/crates/fuse-parser/src/lexer/token_kind.rs b/crates/fuse-parser/src/lexer/token_kind.rs
@@ -43,11 +43,13 @@ pub enum TokenKind {
     In,
     Let,
     Match,
+    Mut,
     Never,
     Nil,
     Not,
     Pub,
     Or,
+    Own,
     Repeat,
     Return,
     /// Lower case `self`

diff --git a/crates/fuse-parser/src/parsers/binding.rs b/crates/fuse-parser/src/parsers/binding.rs
@@ -44,8 +44,10 @@ impl<'a> Parser<'a> {
 
         span = self.end_span(span);
 
+        let mutable = self.consume_if(TokenKind::Mut).is_some();
+
         let atom = self.ast.atom(name);
 
-        self.ast.binding_identifier(span, atom)
+        self.ast.binding_identifier(span, atom, mutable)
     }
 }
diff --git a/crates/fuse-parser/tests/cases/pass/function-declaration-02/ast.snap b/crates/fuse-parser/tests/cases/pass/function-declaration-02/ast.snap
@@ -40,6 +40,7 @@ Some(Chunk(
                     end: 15,
                   ),
                   atom: Atom("a"),
+                  mutable: false,
                 )),
                 type_annotation: None,
                 optional: false,
@@ -57,6 +58,7 @@ Some(Chunk(
                     end: 18,
                   ),
                   atom: Atom("b"),
+                  mutable: false,
                 )),
                 type_annotation: None,
                 optional: false,
@@ -74,6 +76,7 @@ Some(Chunk(
                     end: 21,
                   ),
                   atom: Atom("c"),
+                  mutable: false,
                 )),
                 type_annotation: None,
                 optional: false,

diff --git a/crates/fuse-parser/tests/cases/pass/function-declaration-03/ast.snap b/crates/fuse-parser/tests/cases/pass/function-declaration-03/ast.snap
@@ -40,6 +40,7 @@ Some(Chunk(
                     end: 9,
                   ),
                   atom: Atom("a"),
+                  mutable: false,
                 )),
                 type_annotation: None,
                 optional: false,

diff --git a/crates/fuse-parser/tests/cases/pass/function-expression-03/ast.snap b/crates/fuse-parser/tests/cases/pass/function-expression-03/ast.snap
@@ -34,6 +34,7 @@ Some(Chunk(
                     end: 4,
                   ),
                   atom: Atom("a"),
+                  mutable: false,
                 )),
                 type_annotation: None,
                 optional: false,
@@ -51,6 +52,7 @@ Some(Chunk(
                     end: 7,
                   ),
                   atom: Atom("b"),
+                  mutable: false,
                 )),
                 type_annotation: None,
                 optional: false,

diff --git a/crates/fuse-parser/tests/cases/pass/function-expression-05/ast.snap b/crates/fuse-parser/tests/cases/pass/function-expression-05/ast.snap
@@ -34,6 +34,7 @@ Some(Chunk(
                     end: 8,
                   ),
                   atom: Atom("value"),
+                  mutable: false,
                 )),
                 type_annotation: None,
                 optional: false,

diff --git a/crates/fuse-parser/tests/cases/pass/variable-declaration-01/ast.snap b/crates/fuse-parser/tests/cases/pass/variable-declaration-01/ast.snap
@@ -23,6 +23,7 @@ Some(Chunk(
               end: 6,
             ),
             atom: Atom("id"),
+            mutable: false,
           )),
           type_annotation: None,
           optional: false,

diff --git a/crates/fuse-parser/tests/cases/pass/variable-declaration-02/ast.snap b/crates/fuse-parser/tests/cases/pass/variable-declaration-02/ast.snap
@@ -23,6 +23,7 @@ Some(Chunk(
               end: 6,
             ),
             atom: Atom("id"),
+            mutable: false,
           )),
           type_annotation: None,
           optional: false,