Extend error message (#2633)

apalache-mc · Jul 5, 2023 · 02d7cd0 · 02d7cd0
1 parent 191bca0
commit 02d7cd0
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/tlair/src/main/scala/at/forsyte/apalache/tla/typecomp/unsafe/UnsafeBaseBuilder.scala b/tlair/src/main/scala/at/forsyte/apalache/tla/typecomp/unsafe/UnsafeBaseBuilder.scala
@@ -50,7 +50,9 @@ class UnsafeBaseBuilder extends ProtoBuilder {
           case _ => buildBySignatureLookup(TlaOper.apply, retypedOp +: retypedArgs: _*)
         }
       case None =>
-        throw new TBuilderTypeException(s"Operator application argument types do not unify with the operator type.")
+        throw new TBuilderTypeException(
+            s"Operator application argument types ${mockOperT} do not unify with the operator type ${opType} in ${Op}(${args
+                .mkString(", ")}).")
     }
 
   }