From: Jürg Billeter <j@bitron.ch>
Date: Fri, 10 Jul 2009 11:38:50 +0000 (+0100)
Subject: Check type of field initializers
X-Git-Tag: 0.7.5~108
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=d84ea1c3e772270555d3dcaf436984b63f02318a;p=thirdparty%2Fvala.git

Check type of field initializers
---

diff --git a/vala/valafield.vala b/vala/valafield.vala
index c754a33c6..420f7f9ee 100644
--- a/vala/valafield.vala
+++ b/vala/valafield.vala
@@ -313,6 +313,12 @@ public class Vala.Field : Member, Lockable {
 			initializer.target_type = field_type;
 
 			initializer.check (analyzer);
+
+			if (!initializer.value_type.compatible (field_type)) {
+				error = true;
+				Report.error (source_reference, "Cannot convert from `%s' to `%s'".printf (initializer.value_type.to_string (), field_type.to_string ()));
+				return false;
+			}
 		}
 
 		if (binding == MemberBinding.INSTANCE && parent_symbol is Interface) {