Start getting types resolving at parse time

For now they also resolve via the legacy resolve-with.
rakudo · Jun 5, 2023 · ace8532 · ace8532
1 parent 7b80520
commit ace8532
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 4 deletions.
diff --git a/src/Raku/ast/code.rakumod b/src/Raku/ast/code.rakumod
@@ -1421,9 +1421,9 @@ class RakuAST::Routine
         # Make sure that our signature has resolutions performed.
         if $!signature {
             $!signature.set-default-type(
-                RakuAST::Type::Simple.new(
+                RakuAST::Type::Setting.new(
                     RakuAST::Name.from-identifier('Any'),
-                ),
+                ).to-begin-time($resolver, $context)
             );
             $!signature.IMPL-ENSURE-IMPLICITS;
             $!signature.IMPL-CHECK($resolver, $context, True);
@@ -1776,9 +1776,9 @@ class RakuAST::Methodish
         my $signature := self.signature;
         if $signature {
             $signature.set-default-type(
-                RakuAST::Type::Simple.new(
+                RakuAST::Type::Setting.new(
                     RakuAST::Name.from-identifier('Any'),
-                ),
+                ).to-begin-time($resolver, $context)
             );
             $signature.set-is-on-method(True);
             $signature.set-is-on-named-method(True) if self.name;

diff --git a/src/Raku/ast/type.rakumod b/src/Raku/ast/type.rakumod
@@ -40,6 +40,7 @@ class RakuAST::Type
 # A simple type name, e.g. Int, Foo::Bar, etc.
 class RakuAST::Type::Simple
   is RakuAST::Type
+  is RakuAST::ParseTime
   is RakuAST::Lookup
 {
     has RakuAST::Name $.name;
@@ -58,6 +59,13 @@ class RakuAST::Type::Simple
         Nil
     }
 
+    method PERFORM-PARSE(RakuAST::Resolver $resolver, RakuAST::IMPL::QASTContext $context) {
+        my $resolved := $resolver.resolve-name-constant-in-setting(self.name);
+        if $resolved {
+            self.set-resolution($resolved);
+        }
+    }
+
     method PRODUCE-META-OBJECT() {
         self.resolution.compile-time-value
     }