Support writing of literals inside a signature.

rakudo · Jun 30, 2009 · fa963c8 · fa963c8
1 parent 997a1bd
commit fa963c8
Show file tree

Hide file tree

Showing 2 changed files with 14 additions and 2 deletions.
diff --git a/src/parser/actions.pm b/src/parser/actions.pm
@@ -1062,9 +1062,21 @@ method type_constraint($/) {
     if $<fulltypename> {
         $past := $<fulltypename>.ast;
     }
-    else {
+    elsif $<EXPR> {
         $past := make_anon_subtype($<EXPR>.ast);
     }
+    else {
+        my $value := $<value>.ast;
+        $past := PAST::Op.new(
+            :name('infix:,'),
+            PAST::Op.new(
+                :pasttype('callmethod'),
+                :name('WHAT'),
+                $value
+            ),
+            make_anon_subtype($value)
+        );
+    }
     make $past;
 }
 

diff --git a/src/parser/grammar.pg b/src/parser/grammar.pg
@@ -502,9 +502,9 @@ rule type_declarator {
     {*}
 }
 
-# XXX STD.pm also has value in here?
 rule type_constraint {
     [
+    | <value>
     | <fulltypename>
     | where <EXPR: 'm='>               # XXX <EXPR(item %chaining)>
     ]