Allow ::($foo) for methods inside roles.

Again, a fairly restricted form, but sufficient for what NQP needs to
provide for Rakudo to do user defined ops as role mixins.

Author: jnthn

src/NQP/Actions.pm

@@ -609,6 +609,7 @@ class NQP::Actions is HLL::Actions {
                 }
             }
             $past.unshift($params);
+            $past.push(QAST::Op.new( :op('curlexpad') ));
             $past.symbol('$?CLASS', :scope('lexical'));
             $*W.pkg_set_body_block($*PACKAGE, $past);
             $*W.install_lexical_symbol($past, '$?PACKAGE', $*PACKAGE);
@@ -935,9 +936,18 @@ class NQP::Actions is HLL::Actions {
         $past.symbol('self', :scope('lexical') );
 
         # Install it where it should go (methods table / namespace).
+        my $name := "";
         if $<deflongname> {
+            $name := ~$<private> ~ ~$<deflongname>[0].ast;
+        }
+        elsif $<latename> {
+            if $*PKGDECL ne 'role' {
+                $/.CURSOR.panic("Late-bound method name only valid in role");
+            }
+            $name := "!!LATENAME!!" ~ ~$<latename>;
+        }
+        if $name ne "" {
             # Set name.
-            my $name := ~$<private> ~ ~$<deflongname>[0].ast;
             $past.name($name);
 
             # Insert it into the method table.
@@ -1133,7 +1143,16 @@ class NQP::Actions is HLL::Actions {
     }
 
     method regex_declarator($/, $key?) {
-        my $name := ~$<deflongname>.ast;
+        my $name;
+        if $<deflongname> {
+            $name := ~$<deflongname>.ast;
+        }
+        else {
+            if $*PKGDECL ne 'role' {
+                $/.CURSOR.panic("Late-bound method name only valid in role");
+            }
+            $name := "!!LATENAME!!" ~ ~$<latename>;
+        }
         my $past;
         if $<proto> {
             $past :=

src/NQP/Grammar.pm

@@ -470,8 +470,10 @@ grammar NQP::Grammar is HLL::Grammar {
     rule method_def {
         :my $*RETURN_USED := 0;
         :my $*INVOCANT_OK := 1;
-        $<private>=['!'?]
-        <deflongname>?
+        [
+        || '::(' <latename=variable> ')'
+        || $<private>=['!'?] <deflongname>?
+        ]
         <.newpad>
         [ '(' <signature> ')'
             || <.panic: 'Routine declaration requires a signature'> ]
@@ -539,22 +541,28 @@ grammar NQP::Grammar is HLL::Grammar {
     token regex_declarator {
         [
         | $<proto>=[proto] :s [regex|token|rule]
-          <deflongname>
+          [
+          || '::(' <latename=variable> ')'
+          || <deflongname>
+          ]
           [ 
           || '{*}'<?ENDSTMT>
           || '{' '<...>' '}'<?ENDSTMT>
           || '{' '<*>' '}'<?ENDSTMT>
           || <.panic: "Proto regex body must be \{*\} (or <*> or <...>, which are deprecated)">
           ]
         | $<sym>=[regex|token|rule] :s
-          <deflongname>
+          [
+          || '::(' <latename=variable> ')'
+          || <deflongname>
+          ]
           <.newpad>
           [ '(' <signature> ')' ]?
           :my %*RX;
           {   
               %*RX<s>    := $<sym> eq 'rule'; 
               %*RX<r>    := $<sym> eq 'token' || $<sym> eq 'rule'; 
-              %*RX<name> := $<deflongname>.ast;
+              %*RX<name> := $<deflongname>.ast if $<deflongname>;
           }
           '{'<p6regex=.LANG('Regex','nibbler')>'}'<?ENDSTMT>
         ]

src/core/NQPRoutine.pm

@@ -48,6 +48,9 @@ my knowhow NQPRoutine {
     method nqpattr($key) {
         $!do.nqpattr($key)
     }
+    method !set_name($name) {
+        pir::assign__0Ps($!do, $name);
+    }
 }
 pir::stable_publish_vtable_handler_mapping__vPP(NQPRoutine,
     nqp::hash(

src/how/NQPParametricRoleHOW.pm

@@ -119,7 +119,7 @@ knowhow NQPParametricRoleHOW {
     method specialize($obj, $class_arg, *@args) {
         # Run the body block to capture the arguments into the correct
         # type argument context.
-        $!body_block($class_arg, |@args);
+        my $pad := $!body_block($class_arg, |@args);
 
         # Construct a new concrete role.
         my $irole := NQPConcreteRoleHOW.new_type(:name($!name), :instance_of($obj));
@@ -132,7 +132,13 @@ knowhow NQPParametricRoleHOW {
 
         # Capture methods in the correct lexical context.
         for %!methods {
-            $irole.HOW.add_method($irole, $_.key, $_.value.clone());
+            my $name := $_.key;
+            my $meth := $_.value.clone();
+            if nqp::substr($name, 0, 12) eq '!!LATENAME!!' {
+                $name := nqp::atkey($pad, nqp::substr($name, 12));
+                $meth.'!set_name'($name);
+            }
+            $irole.HOW.add_method($irole, $name, $meth);
         }
         for @!multi_methods_to_incorporate {
             $irole.HOW.add_multi_method($irole, $_<name>, reify_method($_<code>));