Add support to call methods without a let statement.

.gitignore

@@ -23,3 +23,7 @@ build/
 
 *.so
 *.a
+*.mlir
+*.ast
+*.ll
+*.ir

Cargo.toml

@@ -17,7 +17,7 @@ ariadne = { version = "0.5.0", features = ["auto-color"] }
 unescaper = "0.1.5"
 logos-display = "0.1.3"
 
-melior = { version = "0.20.2", features = ["ods-dialects", "helpers"] }
+melior = { version = "0.21.0", features = ["ods-dialects", "helpers"] }
 llvm-sys = "191.0.0"
 mlir-sys = "0.4.1"
 anyhow = "1.0.95"

examples/impl_block.con

@@ -0,0 +1,21 @@
+mod ImplBlock {
+    struct A {
+        a: i64,
+        b: i64,
+    }
+
+    impl A {
+        pub fn hello(&self, other: i64) -> i64 {
+            return self.a * other;
+        }
+    }
+
+    pub fn main() -> i64 {
+        let x: A = A {
+            a: 2,
+            b: 3,
+        };
+
+        return x.hello(4);
+    }
+}

examples/impl_block_mut.con

@@ -0,0 +1,28 @@
+mod ImplBlockMut {
+    struct A {
+        a: i32,
+        b: i32,
+    }
+
+    impl A {
+        pub fn hello(&self, other: i32) -> i32 {
+            return self.a * other;
+        }
+
+        pub fn set_a(&mut self, value: i32) {
+            self.a = value;
+            return;
+        }
+    }
+
+    pub fn main() -> i32 {
+        let mut x: A = A {
+            a: 2,
+            b: 3,
+        };
+
+        x.set_a(4);
+
+        return x.a;
+    }
+}

src/ast/common.rs

@@ -31,7 +31,7 @@ pub struct Ident {
 }
 
 /// A type name, supporting fully qualified paths and generics:
-/// ```
+/// ```text
 /// std::module::X<T>
 /// ```
 /// Used only when specifying types.

src/ast/functions.rs

@@ -32,7 +32,7 @@ pub struct Param {
 
 #[derive(Clone, Debug, Eq, PartialEq)]
 pub struct ImplBlock {
-    pub target: Ident,
+    pub target: TypeDescriptor,
     pub methods: Vec<FunctionDef>,
     pub span: Span,
 }

src/ast/statements.rs

@@ -14,6 +14,8 @@ pub enum Statement {
     Return(ReturnStmt),
     While(WhileStmt),
     FnCall(FnCallOp),
+    // To allow method calls.
+    PathOp(PathOp),
 }
 
 #[derive(Clone, Debug, Eq, PartialEq)]