Signed-off-by: Jean Privat <jean@pryen.org>
if atautoinit != null then
if not mpropdef.is_intro then
modelbuilder.error(atautoinit, "Error: `autoinit` cannot be set on redefinitions.")
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
else
self.is_autoinit = true
end