fix AddEmptyList for --bison-lists (#1298)

Co-authored-by: rv-jenkins <admin@runtimeverification.com>
runtimeverification · May 26, 2020 · a2f6e8b · a2f6e8b
1 parent 4201087
commit a2f6e8b
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/kernel/src/main/java/org/kframework/parser/inner/disambiguation/AddEmptyLists.java b/kernel/src/main/java/org/kframework/parser/inner/disambiguation/AddEmptyLists.java
@@ -137,7 +137,12 @@ public Tuple2<Either<Set<KEMException>, Term>, Set<KEMException>> apply(TermCons
                     UserList ulTerm = lists.get(leastTerm.iterator().next()).get(0);
                     TermCons terminator = TermCons.apply(ConsPStack.empty(), ulTerm.pTerminator, child.location(), child.source());
                     // TermCons with PStack requires the elements to be in the reverse order
-                    TermCons newTc = TermCons.apply(ConsPStack.from(Arrays.asList(terminator, child)), ul.pList, child.location(), child.source());
+                    TermCons newTc;
+                    if (ul.leftAssoc) {
+                        newTc = TermCons.apply(ConsPStack.from(Arrays.asList(child, terminator)), ul.pList, child.location(), child.source());
+                    } else {
+                        newTc = TermCons.apply(ConsPStack.from(Arrays.asList(terminator, child)), ul.pList, child.location(), child.source());
+                    }
                     newItems.add(newTc);
                     changed = true;
                 }