WIP: add support for the move type modifier

inko-lang · Nov 30, 2023 · 6191607 · 6191607
1 parent aa615ed
commit 6191607
Show file tree

Hide file tree

Showing 40 changed files with 755 additions and 354 deletions.
diff --git a/ast/src/nodes.rs b/ast/src/nodes.rs
@@ -972,6 +972,7 @@ pub enum Type {
     Ref(Box<ReferenceType>),
     Mut(Box<ReferenceType>),
     Uni(Box<ReferenceType>),
+    Owned(Box<ReferenceType>),
     Closure(Box<ClosureType>),
     Tuple(Box<TupleType>),
 }
@@ -983,6 +984,7 @@ impl Node for Type {
             Type::Ref(ref typ) => typ.location(),
             Type::Mut(ref typ) => typ.location(),
             Type::Uni(ref typ) => typ.location(),
+            Type::Owned(ref typ) => typ.location(),
             Type::Closure(ref typ) => typ.location(),
             Type::Tuple(ref typ) => typ.location(),
         }

diff --git a/ast/src/parser.rs b/ast/src/parser.rs
@@ -466,6 +466,9 @@ impl Parser {
             TokenKind::Fn => Type::Closure(Box::new(self.closure_type(start)?)),
             TokenKind::Ref => Type::Ref(Box::new(self.reference_type(start)?)),
             TokenKind::Mut => Type::Mut(Box::new(self.reference_type(start)?)),
+            TokenKind::Move => {
+                Type::Owned(Box::new(self.reference_type(start)?))
+            }
             TokenKind::Uni => Type::Uni(Box::new(self.reference_type(start)?)),
             TokenKind::ParenOpen => {
                 Type::Tuple(Box::new(self.tuple_type(start)?))
@@ -3879,6 +3882,28 @@ mod tests {
         );
     }
 
+    #[test]
+    fn test_type_reference_with_owned_reference_type() {
+        let mut parser = parser("move A");
+        let start = parser.require().unwrap();
+
+        assert_eq!(
+            parser.type_reference(start).unwrap(),
+            Type::Owned(Box::new(ReferenceType {
+                type_reference: ReferrableType::Named(Box::new(TypeName {
+                    name: Constant {
+                        source: None,
+                        name: "A".to_string(),
+                        location: cols(6, 6),
+                    },
+                    arguments: None,
+                    location: cols(6, 6)
+                })),
+                location: cols(1, 6)
+            }))
+        );
+    }
+
     #[test]
     fn test_type_reference_with_double_reference() {
         let mut parser = parser("ref ref A");