Update type checker

fir-lang · Jan 22, 2025 · 65b5bae · 65b5bae
1 parent 9ffb73f
commit 65b5bae
Show file tree

Hide file tree

Showing 5 changed files with 288 additions and 333 deletions.
diff --git a/src/ast.rs b/src/ast.rs
@@ -259,7 +259,7 @@ pub enum SelfParam {
     Inferred,
 
     /// Function signature has a `self` parameter with explicit type signature.
-    Explicit(L<Type>),
+    Explicit(Type),
 }
 
 #[derive(Debug, Clone)]

diff --git a/src/ast/printer.rs b/src/ast/printer.rs
@@ -323,7 +323,7 @@ impl FunSig {
             }
             SelfParam::Explicit(ty) => {
                 buffer.push_str("self: ");
-                ty.node.print(buffer);
+                ty.print(buffer);
                 if !self.params.is_empty() {
                     buffer.push_str(", ");
                 }

diff --git a/src/parser.lalrpop b/src/parser.lalrpop
@@ -309,7 +309,7 @@ FunSig: (Option<L<Id>>, L<Id>, FunSig) = {
                 }
                 self_ = match param_ty {
                     None => SelfParam::Inferred,
-                    Some(ty) => SelfParam::Explicit(ty),
+                    Some(ty) => SelfParam::Explicit(ty.node),
                 };
             } else {
                 match param_ty {

diff --git a/src/parser.rs b/src/parser.rs
@@ -1,5 +1,5 @@
 // auto-generated: "lalrpop 0.22.0"
-// sha3: f29e9af2bd7cc34226fd49342a8058ae56e0299b586cb3bc3b1dca66c78319db
+// sha3: 857086d3194941087844d3d0d094985a4bac0b38fdf0ba0424dd60262fbebb4f
 #![allow(clippy::all)]
 use crate::ast::*;
 use crate::interpolation::{copy_update_escapes, parse_string_parts};
@@ -41357,7 +41357,7 @@ fn __action39<'a>(
                 }
                 self_ = match param_ty {
                     None => SelfParam::Inferred,
-                    Some(ty) => SelfParam::Explicit(ty),
+                    Some(ty) => SelfParam::Explicit(ty.node),
                 };
             } else {
                 match param_ty {