Start to put back of and returns traits a bit more. We don't enforce …

…return type constraints yet, however.
rakudo · Mar 2, 2010 · 32a9461 · 32a9461
1 parent 9921175
commit 32a9461
Showing 1 changed file with 10 additions and 2 deletions.
diff --git a/src/core/traits.pm b/src/core/traits.pm
@@ -9,8 +9,8 @@ our multi trait_mod:<is>(Mu $child, Role $r) {
 
 our multi trait_mod:<of>(ContainerDeclarand $cont, Mu \$type) {
     given substr($cont.name, 0, 1) {
-        when '@' { }
-        when '%' { }
+        when '@' { $cont.container does Positional[$type] }
+        when '%' { $cont.container does Associative[$type] }
         when '&' { }
         default  { pir::setprop__vPSP($cont.container, 'type', $type) }
     }
@@ -23,3 +23,11 @@ our multi trait_mod:<does>(Mu $target, Mu $r) {
 our multi trait_mod:<does>(ContainerDeclarand $c, Role $r) {
     $c.container does $r;
 }
+
+our multi trait_mod:<of>(Routine $r, Mu \$type) {
+    $r does Callable[$type];
+}
+
+our multi trait_mod:<returns>(Routine $r, Mu \$type) {
+    $r does Callable[$type];
+}