Cache the inversion of all type relationships in the type graph

Geoffrey Broadwell · Geoffrey Broadwell · commit 1c5e9d883c97 · 2012-08-01T23:39:40.000-07:00
diff --git a/lib/Perl6/Type.pm b/lib/Perl6/Type.pm
@@ -3,7 +3,9 @@ use v6;
 class Perl6::Type {
     has Str $.name handles <Str>;
     has @.super;
+    has @.sub;
     has @.roles;
+    has @.doers;
     has $.packagetype is rw = 'class';
 
     has @.mro;
diff --git a/lib/Perl6/TypeGraph.pm b/lib/Perl6/TypeGraph.pm
@@ -65,6 +65,11 @@ class Perl6::TypeGraph {
                 $t.super.push: $get-type('Any');
             }
         }
+        # Cache the inversion of all type relationships
+        for %.types.values -> $t {
+            $_.sub.push($t)   for $t.super;
+            $_.doers.push($t) for $t.roles;
+        }
         self!topo-sort;
     }
     method !topo-sort {

Original file line number	Diff line number	Diff line change
`@@ -65,6 +65,11 @@ class Perl6::TypeGraph {`
`65`	`65`	`$t.super.push: $get-type('Any');`
`66`	`66`	`}`
`67`	`67`	`}`
	`68`	`+ # Cache the inversion of all type relationships`
	`69`	`+ for %.types.values -> $t {`
	`70`	`+ $_.sub.push($t) for $t.super;`
	`71`	`+ $_.doers.push($t) for $t.roles;`
	`72`	`+ }`
`68`	`73`	`self!topo-sort;`
`69`	`74`	`}`
`70`	`75`	`method !topo-sort {`