From 9c520836a85961a4df0fa9dbc0813e8c0e4b2567 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Tue, 8 Mar 2016 09:57:58 +0100
Subject: [PATCH] Improved error message
---
src/main/java/de/tla2b/analysis/TypeChecker.java | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main/java/de/tla2b/analysis/TypeChecker.java b/src/main/java/de/tla2b/analysis/TypeChecker.java
index 2a7463b..542e34c 100644
--- a/src/main/java/de/tla2b/analysis/TypeChecker.java
+++ b/src/main/java/de/tla2b/analysis/TypeChecker.java
@@ -172,8 +172,8 @@ public class TypeChecker extends BuiltInOPs implements ASTConstants, BBuildIns,
OpDeclNode var = vars[i];
TLAType varType = (TLAType) var.getToolObject(TYPE_ID);
if (varType.isUntyped()) {
- throw new TypeErrorException("Variable '" + var.getName()
- + "' has no type!");
+ throw new TypeErrorException("The type of the variable '" + var.getName()
+ + "' can not be inferred: " + varType);
}
}
--
GitLab