rubybreaker 0.0.8 → 0.0.9

data/webpage/rdoc/RubyBreaker/Runtime/TypeSystem.html

@@ -146,8 +146,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
@@ -271,22 +269,22 @@ module/class specified for “breaking”. It updates the type information.</p>
 
           
           <div class="method-source-code" id="break_after_method-source">
-            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 357</span>
+            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 386</span>
 <span class="ruby-keyword">def</span> <span class="ruby-identifier">break_after_method</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">meth_info</span>)
 
   <span class="ruby-identifier">is_obj_mod</span> = (<span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Class</span> <span class="ruby-keyword">or</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Module</span>)
   <span class="ruby-identifier">mod</span> = <span class="ruby-identifier">is_obj_mod</span> <span class="ruby-operator">?</span> <span class="ruby-constant">Runtime</span>.<span class="ruby-identifier">eigen_class</span>(<span class="ruby-identifier">obj</span>) <span class="ruby-operator">:</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span>
 
-  <span class="ruby-comment"># Take things out</span>
+  <span class="ruby-comment"># Take things out of the method info object</span>
   <span class="ruby-identifier">meth_name</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">meth_name</span>
   <span class="ruby-identifier">retval</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">ret</span>
   <span class="ruby-identifier">args</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">args</span>
   <span class="ruby-identifier">blk</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">blk</span>
 
-  <span class="ruby-constant">RubyBreaker</span>.<span class="ruby-identifier">log</span>(<span class="ruby-node">&quot;In module monitor_after #{meth_name}&quot;</span>)
+  <span class="ruby-constant">RubyBreaker</span>.<span class="ruby-identifier">log</span>(<span class="ruby-node">&quot;break_after_method #{mod}##{meth_name} started&quot;</span>)
 
   <span class="ruby-comment"># Compute the least upper bound</span>
-  <span class="ruby-identifier">lub</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-constant">TYPE_MAP</span>[<span class="ruby-identifier">mod</span>],<span class="ruby-identifier">meth_name</span>,<span class="ruby-identifier">retval</span>,*<span class="ruby-identifier">args</span>,&amp;<span class="ruby-identifier">blk</span>)
+  <span class="ruby-identifier">lub</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-constant">TYPE_MAP</span>[<span class="ruby-identifier">mod</span>], <span class="ruby-identifier">meth_name</span>, <span class="ruby-identifier">retval</span>, *<span class="ruby-identifier">args</span>, &amp;<span class="ruby-identifier">blk</span>)
 
   <span class="ruby-keyword">if</span> <span class="ruby-identifier">obj</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">retval</span>  
     <span class="ruby-comment"># It is possible that the method receiver is a wrapped object if</span>
@@ -296,6 +294,8 @@ module/class specified for “breaking”. It updates the type information.</p>
     <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">ret</span> = <span class="ruby-identifier">obj</span>
   <span class="ruby-keyword">end</span>
 
+  <span class="ruby-constant">RubyBreaker</span>.<span class="ruby-identifier">log</span>(<span class="ruby-node">&quot;break_after_method #{mod}##{meth_name} ended&quot;</span>)
+
 <span class="ruby-keyword">end</span></pre>
           </div><!-- break_after_method-source -->
           
@@ -325,7 +325,7 @@ wrapper so it can be tracked of the method calls.</p>
 
           
           <div class="method-source-code" id="break_before_method-source">
-            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 294</span>
+            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 314</span>
 <span class="ruby-keyword">def</span> <span class="ruby-identifier">break_before_method</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">meth_info</span>)
 
   <span class="ruby-comment"># Use the eigen class if the object is a module/class and use the</span>
@@ -333,30 +333,37 @@ wrapper so it can be tracked of the method calls.</p>
   <span class="ruby-identifier">is_obj_mod</span> = (<span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Class</span> <span class="ruby-keyword">or</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Module</span>)
   <span class="ruby-identifier">mod</span> = <span class="ruby-identifier">is_obj_mod</span> <span class="ruby-operator">?</span> <span class="ruby-constant">Runtime</span>.<span class="ruby-identifier">eigen_class</span>(<span class="ruby-identifier">obj</span>) <span class="ruby-operator">:</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span>
 
-  <span class="ruby-identifier">meth_type_map</span> = <span class="ruby-constant">TYPE_MAP</span>[<span class="ruby-identifier">mod</span>]
-
   <span class="ruby-comment"># Let's take things out of the MethodInfo object</span>
   <span class="ruby-identifier">meth_name</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">meth_name</span>
   <span class="ruby-identifier">args</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">args</span>
   <span class="ruby-identifier">blk</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">blk</span>
   <span class="ruby-identifier">ret</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">ret</span>
 
+  <span class="ruby-constant">RubyBreaker</span>.<span class="ruby-identifier">log</span>(<span class="ruby-node">&quot;break_before_method #{mod}##{meth_name} started&quot;</span>)
+  
   <span class="ruby-identifier">args</span> = <span class="ruby-identifier">args</span>.<span class="ruby-identifier">map</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">arg</span><span class="ruby-operator">|</span>
     <span class="ruby-keyword">if</span> <span class="ruby-identifier">arg</span> <span class="ruby-operator">==</span> <span class="ruby-keyword">nil</span> <span class="ruby-operator">||</span> <span class="ruby-identifier">arg</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">TrueClass</span>) <span class="ruby-operator">||</span> <span class="ruby-identifier">arg</span>.<span class="ruby-identifier">kind_of?</span>(<span class="ruby-constant">FalseClass</span>) 
       <span class="ruby-comment"># XXX: would overrides resolve this issue?</span>
       <span class="ruby-identifier">arg</span> 
+    <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">arg</span>.<span class="ruby-identifier">respond_to?</span>(<span class="ruby-constant">WRAPPED_INDICATOR</span>)
+      <span class="ruby-comment"># Don't need to wrap an object that is already wrapped</span>
+      <span class="ruby-identifier">arg</span>
     <span class="ruby-keyword">else</span>
       <span class="ruby-constant">ObjectWrapper</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">arg</span>)
     <span class="ruby-keyword">end</span>
   <span class="ruby-keyword">end</span>
 
-  <span class="ruby-constant">RubyBreaker</span>.<span class="ruby-identifier">log</span>(<span class="ruby-node">&quot;In module monitor_before #{meth_name}&quot;</span>)
-  
+  <span class="ruby-comment"># Using this module object, retrieve the method type map which</span>
+  <span class="ruby-comment"># maps method names to method types.</span>
+  <span class="ruby-identifier">meth_type_map</span> = <span class="ruby-constant">TYPE_MAP</span>[<span class="ruby-identifier">mod</span>]
+
+  <span class="ruby-comment"># Using the method name, get the type of this method from the map.</span>
   <span class="ruby-identifier">meth_type</span> = <span class="ruby-identifier">meth_type_map</span>[<span class="ruby-identifier">meth_name</span>]
   
   <span class="ruby-keyword">if</span> <span class="ruby-identifier">meth_type</span>
     <span class="ruby-comment"># This means the method type has been created previously.</span>
-    <span class="ruby-keyword">unless</span> (<span class="ruby-identifier">blk</span> <span class="ruby-operator">==</span> <span class="ruby-keyword">nil</span> <span class="ruby-operator">&amp;&amp;</span> <span class="ruby-identifier">meth_type</span>.<span class="ruby-identifier">blk_type</span> <span class="ruby-operator">==</span> <span class="ruby-keyword">nil</span>) <span class="ruby-operator">&amp;&amp;</span>
+    <span class="ruby-keyword">unless</span> <span class="ruby-operator">!</span><span class="ruby-identifier">meth_type</span>.<span class="ruby-identifier">instance_of?</span>(<span class="ruby-constant">MethodType</span>) <span class="ruby-operator">||</span>
+           (<span class="ruby-identifier">blk</span> <span class="ruby-operator">==</span> <span class="ruby-keyword">nil</span> <span class="ruby-operator">&amp;&amp;</span> <span class="ruby-identifier">meth_type</span>.<span class="ruby-identifier">blk_type</span> <span class="ruby-operator">==</span> <span class="ruby-keyword">nil</span>) <span class="ruby-operator">&amp;&amp;</span>
            (<span class="ruby-operator">!</span><span class="ruby-identifier">blk</span> <span class="ruby-operator">||</span> <span class="ruby-identifier">blk</span>.<span class="ruby-identifier">arity</span> <span class="ruby-operator">==</span> <span class="ruby-identifier">meth_type</span>.<span class="ruby-identifier">blk_type</span>.<span class="ruby-identifier">arg_types</span>.<span class="ruby-identifier">length</span>)
       <span class="ruby-identifier">raise</span> <span class="ruby-constant">Errors</span><span class="ruby-operator">::</span><span class="ruby-constant">TypeError</span>.<span class="ruby-identifier">new</span>(<span class="ruby-string">&quot;Block usage is inconsistent&quot;</span>)
     <span class="ruby-keyword">end</span>
@@ -384,6 +391,8 @@ wrapper so it can be tracked of the method calls.</p>
 
   <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">args</span> = <span class="ruby-identifier">args</span>
 
+  <span class="ruby-constant">RubyBreaker</span>.<span class="ruby-identifier">log</span>(<span class="ruby-node">&quot;break_before_method #{mod}##{meth_name} ended&quot;</span>)
+
 <span class="ruby-keyword">end</span></pre>
           </div><!-- break_before_method-source -->
           
@@ -411,18 +420,21 @@ wrapper so it can be tracked of the method calls.</p>
 
           
           <div class="method-source-code" id="check_after_method-source">
-            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 269</span>
+            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 284</span>
 <span class="ruby-keyword">def</span> <span class="ruby-identifier">check_after_method</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">meth_info</span>)
   <span class="ruby-identifier">is_obj_mod</span> = (<span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Class</span> <span class="ruby-keyword">or</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Module</span>)
   <span class="ruby-identifier">mod</span> = <span class="ruby-identifier">is_obj_mod</span> <span class="ruby-operator">?</span> <span class="ruby-constant">Runtime</span>.<span class="ruby-identifier">eigen_class</span>(<span class="ruby-identifier">obj</span>) <span class="ruby-operator">:</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span>
 
+  <span class="ruby-comment"># Get the method type map for the module/class from the global map.</span>
   <span class="ruby-identifier">meth_type_map</span> = <span class="ruby-constant">TYPE_MAP</span>[<span class="ruby-identifier">mod</span>]
-  <span class="ruby-keyword">return</span> <span class="ruby-keyword">unless</span> <span class="ruby-identifier">meth_type_map</span>
+  <span class="ruby-keyword">return</span> <span class="ruby-keyword">unless</span> <span class="ruby-identifier">meth_type_map</span> 
 
   <span class="ruby-comment"># Let's take things out of the MethodInfo object</span>
   <span class="ruby-identifier">meth_name</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">meth_name</span>
   <span class="ruby-identifier">ret</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">ret</span>
 
+  <span class="ruby-constant">RubyBreaker</span>.<span class="ruby-identifier">log</span>(<span class="ruby-node">&quot;check_after_method #{mod}##{meth_name} started&quot;</span>)
+
   <span class="ruby-comment"># Get the registered method type for this method</span>
   <span class="ruby-identifier">meth_type</span> = <span class="ruby-identifier">meth_type_map</span>[<span class="ruby-identifier">meth_name</span>]
 
@@ -432,6 +444,8 @@ wrapper so it can be tracked of the method calls.</p>
           <span class="ruby-node">&quot; return value does not have type #{ret_type.unparse()}.&quot;</span>
     <span class="ruby-identifier">raise</span> <span class="ruby-constant">Errors</span><span class="ruby-operator">::</span><span class="ruby-constant">ReturnTypeError</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">msg</span>)
   <span class="ruby-keyword">end</span>
+
+  <span class="ruby-constant">RubyBreaker</span>.<span class="ruby-identifier">log</span>(<span class="ruby-node">&quot;check_after_method #{mod}##{meth_name} started&quot;</span>)
 <span class="ruby-keyword">end</span></pre>
           </div><!-- check_after_method-source -->
           
@@ -459,7 +473,7 @@ wrapper so it can be tracked of the method calls.</p>
 
           
           <div class="method-source-code" id="check_before_method-source">
-            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 204</span>
+            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 216</span>
 <span class="ruby-keyword">def</span> <span class="ruby-identifier">check_before_method</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">meth_info</span>)
   <span class="ruby-identifier">is_obj_mod</span> = (<span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Class</span> <span class="ruby-keyword">or</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span> <span class="ruby-operator">==</span> <span class="ruby-constant">Module</span>)
   <span class="ruby-identifier">mod</span> = <span class="ruby-identifier">is_obj_mod</span> <span class="ruby-operator">?</span> <span class="ruby-constant">Runtime</span>.<span class="ruby-identifier">eigen_class</span>(<span class="ruby-identifier">obj</span>) <span class="ruby-operator">:</span> <span class="ruby-identifier">obj</span>.<span class="ruby-identifier">class</span>
@@ -472,6 +486,8 @@ wrapper so it can be tracked of the method calls.</p>
   <span class="ruby-identifier">args</span> = <span class="ruby-identifier">meth_info</span>.<span class="ruby-identifier">args</span>
   <span class="ruby-comment"># blk = meth_info.blk</span>
 
+  <span class="ruby-constant">RubyBreaker</span>.<span class="ruby-identifier">log</span>(<span class="ruby-node">&quot;check_before_method #{mod}##{meth_name} started&quot;</span>)
+
   <span class="ruby-comment"># Get the registered method type for this method</span>
   <span class="ruby-identifier">meth_type</span> = <span class="ruby-identifier">meth_type_map</span>[<span class="ruby-identifier">meth_name</span>]
 
@@ -522,6 +538,7 @@ wrapper so it can be tracked of the method calls.</p>
     <span class="ruby-keyword">end</span>
   <span class="ruby-keyword">end</span>
 
+  <span class="ruby-constant">RubyBreaker</span>.<span class="ruby-identifier">log</span>(<span class="ruby-node">&quot;check_before_method #{mod}##{meth_name} ended&quot;</span>)
 <span class="ruby-keyword">end</span></pre>
           </div><!-- check_before_method-source -->
           
@@ -555,7 +572,7 @@ wrapper so it can be tracked of the method calls.</p>
 
           
           <div class="method-source-code" id="arity_check-source">
-            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 182</span>
+            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 194</span>
 <span class="ruby-keyword">def</span> <span class="ruby-identifier">arity_check</span>(<span class="ruby-identifier">num_of_args</span>, <span class="ruby-identifier">meth_type</span>)
   <span class="ruby-identifier">arg_types</span> = <span class="ruby-identifier">meth_type</span>.<span class="ruby-identifier">arg_types</span>
 
@@ -673,7 +690,7 @@ method list type.</p>
 
           
           <div class="method-source-code" id="lub-source">
-            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 116</span>
+            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 128</span>
 <span class="ruby-keyword">def</span> <span class="ruby-identifier">lub</span>(<span class="ruby-identifier">obj</span>, <span class="ruby-identifier">meth_type_map</span>, <span class="ruby-identifier">meth_name</span>, <span class="ruby-identifier">retval</span>, *<span class="ruby-identifier">args</span>, &amp;<span class="ruby-identifier">blk</span>)
   
   <span class="ruby-identifier">exist_meth_type</span> = <span class="ruby-identifier">meth_type_map</span>[<span class="ruby-identifier">meth_name</span>.<span class="ruby-identifier">to_sym</span>] 
@@ -764,21 +781,31 @@ false.</p>
   <span class="ruby-comment"># most restrictive for the given test cases. </span>
   <span class="ruby-identifier">arg_types</span> = []
 
+  <span class="ruby-comment"># Resolve the argument types first.</span>
   <span class="ruby-identifier">exist_meth_type</span>.<span class="ruby-identifier">arg_types</span>.<span class="ruby-identifier">each_with_index</span> <span class="ruby-keyword">do</span> <span class="ruby-operator">|</span><span class="ruby-identifier">exist_arg_type</span>, <span class="ruby-identifier">i</span><span class="ruby-operator">|</span>
     <span class="ruby-identifier">arg_type</span> = <span class="ruby-keyword">nil</span>
     <span class="ruby-identifier">new_arg_type</span> = <span class="ruby-identifier">new_meth_type</span>.<span class="ruby-identifier">arg_types</span>[<span class="ruby-identifier">i</span>]
     <span class="ruby-keyword">if</span> <span class="ruby-operator">!</span><span class="ruby-identifier">exist_arg_type</span> 
-      <span class="ruby-comment"># nil means there hasn't been any type observed</span>
+      <span class="ruby-comment"># nil means there hasn't been any type observed so use the new</span>
+      <span class="ruby-comment"># argument type as &quot;resolved&quot;.</span>
       <span class="ruby-identifier">arg_type</span> = <span class="ruby-identifier">new_arg_type</span>
     <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">new_arg_type</span>.<span class="ruby-identifier">subtype_of?</span>(<span class="ruby-identifier">exist_arg_type</span>) 
+      <span class="ruby-comment"># Pick the subtype argument since we are resolving in</span>
+      <span class="ruby-comment"># contra-variance</span>
+      <span class="ruby-identifier">arg_type</span> = <span class="ruby-identifier">new_arg_type</span>
+    <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">exist_arg_type</span>.<span class="ruby-identifier">subtype_of?</span>(<span class="ruby-identifier">new_arg_type</span>)
+      <span class="ruby-comment"># Pick the subtype argument since we are resolving in</span>
+      <span class="ruby-comment"># contra-variance</span>
       <span class="ruby-identifier">arg_type</span> = <span class="ruby-identifier">exist_arg_type</span>
-    <span class="ruby-keyword">elsif</span> <span class="ruby-operator">!</span><span class="ruby-identifier">exist_arg_type</span>.<span class="ruby-identifier">subtype_of?</span>(<span class="ruby-identifier">new_arg_type</span>)
-      <span class="ruby-comment"># No subtype relation between them, so OR them</span>
+    <span class="ruby-keyword">else</span>
+      <span class="ruby-comment"># No subtype relation between them, so OR them.</span>
       <span class="ruby-identifier">arg_type</span> = <span class="ruby-constant">OrType</span>.<span class="ruby-identifier">new</span>([<span class="ruby-identifier">new_arg_type</span>, <span class="ruby-identifier">exist_arg_type</span>])
     <span class="ruby-keyword">end</span>
     <span class="ruby-identifier">arg_types</span> <span class="ruby-operator">&lt;&lt;</span> <span class="ruby-identifier">arg_type</span>
   <span class="ruby-keyword">end</span>
 
+  <span class="ruby-comment"># Now, resolve the return type</span>
+
   <span class="ruby-identifier">new_ret_type</span> = <span class="ruby-identifier">new_meth_type</span>.<span class="ruby-identifier">ret_type</span>
   <span class="ruby-identifier">exist_ret_type</span> = <span class="ruby-identifier">exist_meth_type</span>.<span class="ruby-identifier">ret_type</span>
 
@@ -786,10 +813,12 @@ false.</p>
     <span class="ruby-identifier">ret_type</span> = <span class="ruby-identifier">new_ret_type</span>
     <span class="ruby-identifier">resolved</span> = <span class="ruby-keyword">true</span>
   <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">exist_ret_type</span>.<span class="ruby-identifier">subtype_of?</span>(<span class="ruby-identifier">new_ret_type</span>) 
-    <span class="ruby-identifier">ret_type</span> = <span class="ruby-identifier">exist_ret_type</span>
+    <span class="ruby-comment"># Co-variance</span>
+    <span class="ruby-identifier">ret_type</span> = <span class="ruby-identifier">new_ret_type</span>
     <span class="ruby-identifier">resolved</span> = <span class="ruby-keyword">true</span>
   <span class="ruby-keyword">elsif</span> <span class="ruby-identifier">new_ret_type</span>.<span class="ruby-identifier">subtype_of?</span>(<span class="ruby-identifier">exist_ret_type</span>) 
-    <span class="ruby-identifier">ret_type</span> = <span class="ruby-identifier">new_ret_type</span>
+    <span class="ruby-comment"># Co-variance</span>
+    <span class="ruby-identifier">ret_type</span> = <span class="ruby-identifier">exist_ret_type</span>
     <span class="ruby-identifier">resolved</span> = <span class="ruby-keyword">true</span>
   <span class="ruby-keyword">else</span>
     <span class="ruby-identifier">resolved</span> = <span class="ruby-keyword">false</span>
@@ -828,7 +857,7 @@ false.</p>
 
           
           <div class="method-source-code" id="type_error_msg_prefix-source">
-            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 173</span>
+            <pre><span class="ruby-comment"># File lib/rubybreaker/runtime/type_system.rb, line 185</span>
 <span class="ruby-keyword">def</span> <span class="ruby-identifier">type_error_msg_prefix</span>(<span class="ruby-identifier">mod</span>, <span class="ruby-identifier">meth_name</span>)
   <span class="ruby-comment"># Match eigen class and returns a prefix that is a class method</span>
   <span class="ruby-comment"># using dot (.) instead of double colons (::).</span>

data/webpage/rdoc/RubyBreaker/TypeComparer.html

@@ -120,8 +120,6 @@
   
     <li><a href="../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs.html

@@ -98,8 +98,6 @@
   
     <li><a href="../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs/AnyType.html

@@ -114,8 +114,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs/BlockType.html

@@ -114,8 +114,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs/DuckType.html

@@ -116,8 +116,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs/FusionType.html

@@ -116,8 +116,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs/MethodListType.html

@@ -114,8 +114,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs/MethodType.html

@@ -114,8 +114,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs/NilType.html

@@ -114,8 +114,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs/NominalType.html

@@ -114,8 +114,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs/OptionalType.html

@@ -114,8 +114,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs/OrType.html

@@ -114,8 +114,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs/SelfType.html

@@ -118,8 +118,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeDefs/Type.html

@@ -123,8 +123,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
@@ -354,7 +352,7 @@ href="../Typing.html#method-c-subtype_rel-3F">RubyBreaker::Typing.subtype_rel?</
 
           
           <div class="method-source-code" id="subtype_of-3F-source">
-            <pre><span class="ruby-comment"># File lib/rubybreaker/typing/subtyping.rb, line 479</span>
+            <pre><span class="ruby-comment"># File lib/rubybreaker/typing/subtyping.rb, line 480</span>
 <span class="ruby-keyword">def</span> <span class="ruby-identifier">subtype_of?</span>(<span class="ruby-identifier">rhs</span>)
   <span class="ruby-keyword">return</span> <span class="ruby-constant">Typing</span>.<span class="ruby-identifier">subtype_rel?</span>(<span class="ruby-keyword">self</span>,<span class="ruby-identifier">rhs</span>)
 <span class="ruby-keyword">end</span></pre>
@@ -385,7 +383,7 @@ href="../TypeUnparser.html#method-c-unparse">RubyBreaker::TypeUnparser.unparse</
 
           
           <div class="method-source-code" id="unparse-source">
-            <pre><span class="ruby-comment"># File lib/rubybreaker/type/type_unparser.rb, line 180</span>
+            <pre><span class="ruby-comment"># File lib/rubybreaker/type/type_unparser.rb, line 176</span>
 <span class="ruby-keyword">def</span> <span class="ruby-identifier">unparse</span>(<span class="ruby-identifier">opts</span>={})
   <span class="ruby-constant">TypeUnparser</span>.<span class="ruby-identifier">unparse</span>(<span class="ruby-keyword">self</span>, <span class="ruby-identifier">opts</span>)
 <span class="ruby-keyword">end</span></pre>

data/webpage/rdoc/RubyBreaker/TypeDefs/VarLengthType.html

@@ -114,8 +114,6 @@
   
     <li><a href="../../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/RubyBreaker/TypeUnparser.html

@@ -120,8 +120,6 @@
   
     <li><a href="../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
@@ -248,7 +246,7 @@ according to the specified options.</p>
 
           
           <div class="method-source-code" id="unparse-source">
-            <pre><span class="ruby-comment"># File lib/rubybreaker/type/type_unparser.rb, line 168</span>
+            <pre><span class="ruby-comment"># File lib/rubybreaker/type/type_unparser.rb, line 164</span>
 <span class="ruby-keyword">def</span> <span class="ruby-keyword">self</span>.<span class="ruby-identifier">unparse</span>(<span class="ruby-identifier">t</span>, <span class="ruby-identifier">opts</span>={})
   <span class="ruby-identifier">str</span> = <span class="ruby-string">&quot;&quot;</span>
   <span class="ruby-identifier">pp</span> = <span class="ruby-constant">PrettyPrint</span>.<span class="ruby-identifier">new</span>(<span class="ruby-identifier">str</span>)

data/webpage/rdoc/RubyBreaker/Typing.html

@@ -120,8 +120,6 @@
   
     <li><a href="../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>
@@ -252,7 +250,7 @@ href="TypeDefs.html">TypeDefs</a></em> module for more detail.</p>
 
           
           <div class="method-source-code" id="subtype_rel-3F-source">
-            <pre><span class="ruby-comment"># File lib/rubybreaker/typing/subtyping.rb, line 440</span>
+            <pre><span class="ruby-comment"># File lib/rubybreaker/typing/subtyping.rb, line 441</span>
 <span class="ruby-keyword">def</span> <span class="ruby-keyword">self</span>.<span class="ruby-identifier">subtype_rel?</span>(<span class="ruby-identifier">lhs</span>, <span class="ruby-identifier">rhs</span>)
 
   <span class="ruby-comment"># Don't even bother if they are same object or syntactically</span>

data/webpage/rdoc/RubyBreaker/Util.html

@@ -114,8 +114,6 @@
   
     <li><a href="../RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="../RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="../RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="../RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>

data/webpage/rdoc/Test.html

@@ -97,8 +97,6 @@
   
     <li><a href="./RubyBreaker/Position.html">RubyBreaker::Position</a>
   
-    <li><a href="./RubyBreaker/RDocSupport.html">RubyBreaker::RDocSupport</a>
-  
     <li><a href="./RubyBreaker/RubyTypeUtils.html">RubyBreaker::RubyTypeUtils</a>
   
     <li><a href="./RubyBreaker/Runtime.html">RubyBreaker::Runtime</a>