From: Jean Privat <jean@pryen.org>
Date: Tue, 24 Mar 2009 14:23:04 +0000 (-0400)
Subject: syntax: Do not inherit signatures with closures
X-Git-Tag: v0.2.1~21
X-Git-Url: http://nitlanguage.org

syntax: Do not inherit signatures with closures

Signed-off-by: Jean Privat <jean@pryen.org>
---

diff --git a/src/syntax/mmbuilder.nit b/src/syntax/mmbuilder.nit
index ccdd2a6..3a10b5a 100644
--- a/src/syntax/mmbuilder.nit
+++ b/src/syntax/mmbuilder.nit
@@ -851,6 +851,10 @@ redef class PPropdef
 					v.error(self, "Redef error: {prop.local_class}::{prop} redefines {ip.local_class}::{ip} with {isig.arity} parameter(s).")
 					return
 				end
+				if v.signature_builder.closure_decls.length != isig.closures.length then
+					v.error(self, "Redef error: {prop.local_class}::{prop} redefines {ip.local_class}::{ip} with {isig.arity} closure(s).")
+					return
+				end
 				for p in v.signature_builder.params do
 					var t = isig[p.position]
 					p.stype = t