@@ -270,7 +270,16 @@ data State =
270exprHelp :: R.Position -> State -> ExprParser
270exprHelp :: R.Position -> State -> ExprParser
271exprHelp start (State ops lastExpr end pos) =
271exprHelp start (State ops lastExpr end pos) =
277+ newEnd <- getPosition
278+ newPos <- whitespace
279+ let newLast = A.merge lastExpr arg (Src.App lastExpr arg)
280+ exprHelp start (State ops newLast newEnd newPos)
273− [ -- infix operator
282+ , -- infix operator
274 do checkSpace pos
283 do checkSpace pos
275 opStart <- getPosition
284 opStart <- getPosition
276 opName <- infixOp
285 opName <- infixOp
@@ -312,15 +321,6 @@ exprHelp start (State ops lastExpr end pos) =
312 return ( finalExpr, newEnd, newPos )
321 return ( finalExpr, newEnd, newPos )
319− newEnd <- getPosition
320− newPos <- whitespace
321− let newLast = A.merge lastExpr arg (Src.App lastExpr arg)
322− exprHelp start (State ops newLast newEnd newPos)
324 , -- done
324 , -- done
325 case ops of
325 case ops of