Report internal error for missing type argument

2008-06-01  Jürg Billeter  <j@bitron.ch>

	* vala/valasemanticanalyzer.vala:

	Report internal error for missing type argument

svn path=/trunk/; revision=1525

diff --git a/ChangeLog b/ChangeLog
index 4b9cd30..eff7433 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,9 @@
+2008-06-01  Jürg Billeter  <j@bitron.ch>
+
+       * vala/valasemanticanalyzer.vala:
+
+       Report internal error for missing type argument
+
 2008-05-31  Jürg Billeter  <j@bitron.ch>
 
        * vala/valasemanticanalyzer.vala:

diff --git a/vala/valasemanticanalyzer.vala b/vala/valasemanticanalyzer.vala
index 1450ce2..f54d2bd 100644 (file)
--- a/vala/valasemanticanalyzer.vala
+++ b/vala/valasemanticanalyzer.vala
@@ -2108,6 +2108,11 @@ public class Vala.SemanticAnalyzer : CodeVisitor {
                                        node_reference.error = true;
                                        return null;
                                }
+                               if (instance_type.get_type_arguments ().size <= param_index) {
+                                       Report.error (node_reference.source_reference, "internal error: missing type argument for type parameter `%s' in `%s'".printf (type_arg.type_parameter.get_full_name (), instance_type.to_string ()));
+                                       node_reference.error = true;
+                                       return null;
+                               }
                                type_arg = instance_type.get_type_arguments ().get (param_index);
                        }
                        instance_base_type.add_type_argument (type_arg);