nitg: add more info (for -v)

[nit.git] / src / metamodel / genericity.nit

diff --git a/src/metamodel/genericity.nit b/src/metamodel/genericity.nit
index 4de61f7..ec27bb1 100644 (file)
--- a/src/metamodel/genericity.nit
+++ b/src/metamodel/genericity.nit
@@ -186,6 +186,14 @@ class MMTypeGeneric
                return true
        end
 
+       redef fun has_formal
+       do
+               for p in _params do
+                       if p.has_formal then return true
+               end
+               return false
+       end
+
        init(c: MMLocalClass, p: Array[MMType])
        do
                super(c)