icode: add automatic tests for virtual type parameters in methods

[nit.git] / src / icode / icode_builder.nit

diff --git a/src/icode/icode_builder.nit b/src/icode/icode_builder.nit
index c50ab6a..7f37b75 100644 (file)
--- a/src/icode/icode_builder.nit
+++ b/src/icode/icode_builder.nit
@@ -244,6 +244,14 @@ redef class MMSignature
                        end
                        iroutine.closure_decls = clos
                end
+               # Add automatic test for virtual types
+               var icb = new ICodeBuilder(recv.mmmodule, iroutine)
+               for i in [0..arity[ do
+                       var t = self[i]
+                       if t isa MMVirtualType then
+                               icb.add_type_cast(args[i+1], t)
+                       end
+               end
                return iroutine
        end
 
@@ -268,6 +276,7 @@ redef class MMSignature
                        end
                        iroutine.closure_decls = clos
                end
+               # TODO: add automatic test for virtual types?
                return iroutine
        end
 end