From b5986f04bc9b91050381584de9407f415b79944a Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Tue, 24 Mar 2009 10:23:04 -0400 Subject: [PATCH] syntax: Do not inherit signatures with closures Signed-off-by: Jean Privat --- src/syntax/mmbuilder.nit | 4 ++++ 1 file changed, 4 insertions(+) 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 -- 1.7.9.5