From ac374decd14ebe00ca4acd54262d2e07756856be Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Sat, 4 Apr 2015 22:36:53 +0700 Subject: [PATCH] typing: on type error, also indicate the resolved type Signed-off-by: Jean Privat --- 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 a1f1220..0634ee2 100644 --- a/src/semantize/typing.nit +++ b/src/semantize/typing.nit @@ -115,7 +115,12 @@ private class TypeVisitor #node.debug("Unsafe typing: expected {sup}, got {sub}") return sup end - self.modelbuilder.error(node, "Type error: expected {sup}, got {sub}") + if sub.need_anchor then + var u = anchor_to(sub) + self.modelbuilder.error(node, "Type error: expected {sup}, got {sub}: {u}") + else + self.modelbuilder.error(node, "Type error: expected {sup}, got {sub}") + end return null end -- 1.7.9.5