Improve array literal formatting

Author: hajduakos

build.gradle.kts

@@ -10,7 +10,7 @@ buildscript {
 
 allprojects {
     group = "hu.bme.mit.inf.theta"
-    version = "1.6.1"
+    version = "1.6.2"
 
     apply(from = rootDir.resolve("gradle/shared-with-buildSrc/mirrors.gradle.kts"))
 }

subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayLitExpr.java

@@ -83,10 +83,9 @@ public boolean equals(final Object obj) {
 
 	@Override
 	public String toString() {
-		final String indexString = String.format("([%s]->%s)", type.getIndexType(), type.getElemType());
-		return Utils.lispStringBuilder(OPERATOR_LABEL).add(indexString).add("(")
-				.addAll(elems.stream().map(elem -> String.format("([%s]->%s)", elem.get1(), elem.get2()))).add(")")
-				.add((String.format("[]->%s", elseElem)))
+		return Utils.lispStringBuilder(OPERATOR_LABEL)
+				.addAll(elems.stream().map(elem -> String.format("([%s]->%s)", elem.get1(), elem.get2())))
+				.add((String.format("([]->%s)", elseElem)))
 				.toString();
 	}