From 41a751f68c405b5cf69a8810742d3e1942286482 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Fri, 29 May 2015 12:05:42 -0400 Subject: [PATCH] modelize: error in `autoinit` is used in class refinement Signed-off-by: Jean Privat --- src/modelize/modelize_property.nit | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/modelize/modelize_property.nit b/src/modelize/modelize_property.nit index a5a8ef9..4633b3f 100644 --- a/src/modelize/modelize_property.nit +++ b/src/modelize/modelize_property.nit @@ -988,6 +988,8 @@ redef class AMethPropdef if atautoinit != null then if not mpropdef.is_intro then modelbuilder.error(atautoinit, "Error: `autoinit` cannot be set on redefinitions.") + else if not mclassdef.is_intro then + modelbuilder.error(atautoinit, "Error: `autoinit` cannot be used in class refinements.") else self.is_autoinit = true end -- 1.7.9.5