From e38e29494acfafeecb4a042f5045456a6cb87a61 Mon Sep 17 00:00:00 2001 From: Florian Deljarry Date: Wed, 20 Nov 2019 11:08:37 -0500 Subject: [PATCH] typing: Add error when init is not found More explicit error when a potential duplication of root object class. Signed-off-by: Florian Deljarry --- src/semantize/typing.nit | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/src/semantize/typing.nit b/src/semantize/typing.nit index 3176e35..5d6b5da 100644 --- a/src/semantize/typing.nit +++ b/src/semantize/typing.nit @@ -325,7 +325,12 @@ private class TypeVisitor if mproperty == null then if recv_is_self then - self.modelbuilder.error(node, "Error: method or variable `{name}` unknown in `{recvtype}`.") + # FIXME This test was added to display a more explicit error when a potential duplication of root object class. + if name == "init" then + self.modelbuilder.error(node, "Possible duplication of the root class `Object`") + else + self.modelbuilder.error(node, "Error: method or variable `{name}` unknown in `{recvtype}`.") + end else if recvtype.need_anchor then self.modelbuilder.error(node, "Error: method `{name}` does not exists in `{recvtype}: {unsafe_type}`.") else -- 1.7.9.5