Improve array literal formatting

ftsrg · Aug 13, 2020 · 6820fe5 · 6820fe5
1 parent 5b0822d
commit 6820fe5
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 5 deletions.
diff --git a/build.gradle.kts b/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"))
 }

diff --git a/subprojects/core/src/main/java/hu/bme/mit/theta/core/type/arraytype/ArrayLitExpr.java b/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();
 	}