From 95d03a123d9995deba16007d83ab2a259bdd569b Mon Sep 17 00:00:00 2001
From: Sebastian Ullrich <sebasti@nullri.ch>
Date: Sat, 23 May 2020 16:14:47 +0200
Subject: [PATCH] fix: sepBy parenthesizer

---
 src/Init/Lean/PrettyPrinter/Parenthesizer.lean | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/Init/Lean/PrettyPrinter/Parenthesizer.lean b/src/Init/Lean/PrettyPrinter/Parenthesizer.lean
index 91280e9f65..d48f169362 100644
--- a/src/Init/Lean/PrettyPrinter/Parenthesizer.lean
+++ b/src/Init/Lean/PrettyPrinter/Parenthesizer.lean
@@ -410,7 +410,7 @@ visitArgs $ visit (p.getArg! 0)
 @[builtinParenthesizer sepBy]
 def sepBy.parenthesizer : Parenthesizer | p => do
 stx ← getCur;
-visitArgs $ (List.range stx.getArgs.size).forM $ fun i => visit (p.getArg! (i % 2))
+visitArgs $ (List.range stx.getArgs.size).reverse.forM $ fun i => visit (p.getArg! (i % 2))
 
 @[builtinParenthesizer sepBy1] def sepBy1.parenthesizer := sepBy.parenthesizer