@@ -1,4 +1,5 @@
1{-# LANGUAGE LambdaCase #-}
1{-# LANGUAGE LambdaCase #-}
2+{-# LANGUAGE MultiWayIf #-}
2{-# LANGUAGE OverloadedStrings #-}
3{-# LANGUAGE OverloadedStrings #-}
3{-# LANGUAGE RecordWildCards #-}
4{-# LANGUAGE RecordWildCards #-}
4{-# LANGUAGE TypeApplications #-}
5{-# LANGUAGE TypeApplications #-}
@@ -21,12 +22,12 @@ import Data.Char (isPunctuation, isSymbol)
21import Data.Data hiding (Infix, Prefix)
22import Data.Data hiding (Infix, Prefix)
22import Data.Functor ((<&>))
23import Data.Functor ((<&>))
23import Data.List (intersperse, sortOn)
24import Data.List (intersperse, sortOn)
24−import Data.List.NonEmpty ((<|), NonEmpty (..))
25+import Data.List.NonEmpty (NonEmpty (..), (<|))
25import qualified Data.List.NonEmpty as NE
26import qualified Data.List.NonEmpty as NE
26import Data.Text (Text)
27import Data.Text (Text)
27import qualified Data.Text as Text
28import qualified Data.Text as Text
29−import OccName (mkVarOcc)
30+import OccName (occNameString)
30import Ormolu.Printer.Combinators
31import Ormolu.Printer.Combinators
31import Ormolu.Printer.Internal
32import Ormolu.Printer.Internal
32import Ormolu.Printer.Meat.Common
33import Ormolu.Printer.Meat.Common
@@ -60,7 +61,7 @@ data Placement
60 -- should use it and avoid bumping one level
61 -- should use it and avoid bumping one level
61 -- of indentation
62 -- of indentation
63− deriving (Eq)
64+ deriving (Eq, Show)
65p_valDecl :: HsBindLR GhcPs GhcPs -> R ()
66p_valDecl :: HsBindLR GhcPs GhcPs -> R ()
66p_valDecl = \case
67p_valDecl = \case
@@ -179,25 +180,24 @@ p_match' placer render style isInfix strictness m_pats GRHSs {..} = do
179 NoSrcStrict -> return ()
180 NoSrcStrict -> return ()
180 SrcStrict -> txt "!"
181 SrcStrict -> txt "!"
181 SrcLazy -> txt "~"
182 SrcLazy -> txt "~"
182− inci' <- case NE.nonEmpty m_pats of
183+ indentBody <- case NE.nonEmpty m_pats of
183− Nothing -> id <$ case style of
185+ False <$ case style of
184− Function name -> p_rdrName name
186+ Function name -> p_rdrName name
185− _ -> return ()
187+ _ -> return ()
186 Just ne_pats -> do
188 Just ne_pats -> do
187− let combinedSpans =
189+ let combinedSpans = case style of
190+ Function name -> combineSrcSpans (getLoc name) patSpans
188− combineSrcSpans' $
192+ patSpans = combineSrcSpans' (getLoc <$> ne_pats)
191− if isOneLineSpan combinedSpans
193+ indentBody = not (isOneLineSpan combinedSpans)
194 switchLayout [combinedSpans] $ do
194 switchLayout [combinedSpans] $ do
195 let stdCase = sep breakpoint (located' p_pat) m_pats
195 let stdCase = sep breakpoint (located' p_pat) m_pats
196 case style of
196 case style of
197 Function name ->
197 Function name ->
198 p_infixDefHelper
198 p_infixDefHelper
200− inci'
200+ indentBody
201 (p_rdrName name)
201 (p_rdrName name)
202 (located' p_pat <$> m_pats)
202 (located' p_pat <$> m_pats)
203 PatternBind -> stdCase
203 PatternBind -> stdCase
@@ -212,40 +212,32 @@ p_match' placer render style isInfix strictness m_pats GRHSs {..} = do
212 when needsSpace space
212 when needsSpace space
213 sitcc stdCase
213 sitcc stdCase
214 LambdaCase -> stdCase
214 LambdaCase -> stdCase
215− return inci'
215+ return indentBody
216 let -- Calculate position of end of patterns. This is useful when we decide
216 let -- Calculate position of end of patterns. This is useful when we decide
217 -- about putting certain constructions in hanging positions.
217 -- about putting certain constructions in hanging positions.
218 endOfPats = case NE.nonEmpty m_pats of
218 endOfPats = case NE.nonEmpty m_pats of
219 Nothing -> case style of
219 Nothing -> case style of
220− Function name -> (Just . srcSpanEnd . getLoc) name
220+ Function name -> Just (getLoc name)
221 _ -> Nothing
221 _ -> Nothing
222− Just pats -> (Just . srcSpanEnd . getLoc . NE.last) pats
222+ Just pats -> (Just . getLoc . NE.last) pats
223 isCase = \case
223 isCase = \case
224 Case -> True
224 Case -> True
225 LambdaCase -> True
225 LambdaCase -> True
226 _ -> False
226 _ -> False
227− let hasGuards = withGuards grhssGRHSs
227+ hasGuards = withGuards grhssGRHSs
228− unless (length grhssGRHSs > 1) $
230− Function _ | hasGuards -> return ()
231− Function _ -> space >> txt "="
232− PatternBind -> space >> txt "="
233− s | isCase s && hasGuards -> return ()
234− _ -> space >> txt "->"
235− let grhssSpan =
228+ grhssSpan =
236 combineSrcSpans' $
229 combineSrcSpans' $
237 getGRHSSpan . unLoc <$> NE.fromList grhssGRHSs
230 getGRHSSpan . unLoc <$> NE.fromList grhssGRHSs
238 patGrhssSpan =
231 patGrhssSpan =
240 grhssSpan
233 grhssSpan
241− (combineSrcSpans grhssSpan . srcLocSpan)
234+ (combineSrcSpans grhssSpan . srcLocSpan . srcSpanEnd)
242 endOfPats
235 endOfPats
243 placement =
236 placement =
244 case endOfPats of
237 case endOfPats of
245 Nothing -> blockPlacement placer grhssGRHSs
238 Nothing -> blockPlacement placer grhssGRHSs
246 Just spn ->
239 Just spn ->
248− (mkSrcSpan spn (srcSpanStart grhssSpan))
240+ if onTheSameLine spn grhssSpan
249 then blockPlacement placer grhssGRHSs
241 then blockPlacement placer grhssGRHSs
250 else Normal
242 else Normal
251 p_body = do
243 p_body = do
@@ -261,7 +253,14 @@ p_match' placer render style isInfix strictness m_pats GRHSs {..} = do
261 txt "where"
253 txt "where"
262 unless whereIsEmpty breakpoint
254 unless whereIsEmpty breakpoint
263 inci $ located grhssLocalBinds p_hsLocalBinds
255 inci $ located grhssLocalBinds p_hsLocalBinds
264− inci' $ do
256+ inciIf indentBody $ do
257+ unless (length grhssGRHSs > 1) $
259+ Function _ | hasGuards -> return ()
260+ Function _ -> space >> inci equals
261+ PatternBind -> space >> inci equals
262+ s | isCase s && hasGuards -> return ()
263+ _ -> space >> txt "->"
265 switchLayout [patGrhssSpan] $
264 switchLayout [patGrhssSpan] $
266 placeHanging placement p_body
265 placeHanging placement p_body
267 inci p_where
266 inci p_where
@@ -285,24 +284,24 @@ p_grhs' placer render style (GRHS NoExtField guards body) =
288− sitcc (sep (comma >> breakpoint) (sitcc . located' p_stmt) xs)
287+ sitcc (sep commaDel (sitcc . located' p_stmt) xs)
290− txt $ case style of
289+ inci $ case style of
291− EqualSign -> "="
290+ EqualSign -> equals
292− RightArrow -> "->"
291+ RightArrow -> txt "->"
293 placeHanging placement p_body
292 placeHanging placement p_body
295 placement =
294 placement =
296 case endOfGuards of
295 case endOfGuards of
297 Nothing -> placer (unLoc body)
296 Nothing -> placer (unLoc body)
298 Just spn ->
297 Just spn ->
299− if isOneLineSpan (mkSrcSpan spn (srcSpanStart (getLoc body)))
298+ if onTheSameLine spn (getLoc body)
300 then placer (unLoc body)
299 then placer (unLoc body)
301 else Normal
300 else Normal
302 endOfGuards =
301 endOfGuards =
303 case NE.nonEmpty guards of
302 case NE.nonEmpty guards of
304 Nothing -> Nothing
303 Nothing -> Nothing
305− Just gs -> (Just . srcSpanEnd . getLoc . NE.last) gs
304+ Just gs -> (Just . getLoc . NE.last) gs
306 p_body = located body render
305 p_body = located body render
307p_grhs' _ _ _ (XGRHS x) = noExtCon x
306p_grhs' _ _ _ (XGRHS x) = noExtCon x
@@ -317,7 +316,7 @@ p_hsCmd = \case
317 HsHigherOrderApp -> txt "-<<"
316 HsHigherOrderApp -> txt "-<<"
318 placeHanging (exprPlacement (unLoc input)) $
317 placeHanging (exprPlacement (unLoc input)) $
319 located input p_hsExpr
318 located input p_hsExpr
320− HsCmdArrForm NoExtField form Prefix _ cmds -> banana $ sitcc $ do
319+ HsCmdArrForm NoExtField form Prefix _ cmds -> banana $ do
321 located form p_hsExpr
320 located form p_hsExpr
322 unless (null cmds) $ do
321 unless (null cmds) $ do
323 breakpoint
322 breakpoint
@@ -345,7 +344,7 @@ p_hsCmd = \case
347 inci . located es $
346 inci . located es $
348− sitcc . sep newline (located' (sitcc . p_stmt' cmdPlacement p_hsCmd))
347+ sitcc . sep newline (sitcc . withSpacing (p_stmt' cmdPlacement p_hsCmd))
349 HsCmdWrap {} -> notImplemented "HsCmdWrap"
348 HsCmdWrap {} -> notImplemented "HsCmdWrap"
350 XCmd x -> noExtCon x
349 XCmd x -> noExtCon x
@@ -354,6 +353,35 @@ p_hsCmdTop = \case
354 HsCmdTop NoExtField cmd -> located cmd p_hsCmd
353 HsCmdTop NoExtField cmd -> located cmd p_hsCmd
355 XCmdTop x -> noExtCon x
354 XCmdTop x -> noExtCon x
356+-- | Render an expression preserving blank lines between such consecutive
357+-- expressions found in the original source code.
359+ -- | Rendering function
361+ -- | Entity to render
364+withSpacing f l = located l $ \x -> do
366+ UnhelpfulSpan _ -> f x
367+ RealSrcSpan currentSpn -> do
368+ getSpanMark >>= \case
369+ -- Spacing before comments will be handled by the code
370+ -- that prints comments, so we just have to deal with
371+ -- blank lines between statements here.
372+ Just (StatementSpan lastSpn) ->
373+ if srcSpanStartLine currentSpn > srcSpanEndLine lastSpn + 1
378+ -- In some cases the (f x) expression may insert a new mark. We want
379+ -- to be careful not to override comment marks.
380+ getSpanMark >>= \case
381+ Just (HaddockSpan _ _) -> return ()
382+ Just (CommentSpan _) -> return ()
383+ _ -> setSpanMark (StatementSpan currentSpn)
357p_stmt :: Stmt GhcPs (LHsExpr GhcPs) -> R ()
385p_stmt :: Stmt GhcPs (LHsExpr GhcPs) -> R ()
358p_stmt = p_stmt' exprPlacement p_hsExpr
386p_stmt = p_stmt' exprPlacement p_hsExpr
@@ -425,7 +453,7 @@ p_stmt' placer render = \case
425 RecStmt {..} -> do
453 RecStmt {..} -> do
426 txt "rec"
454 txt "rec"
428− sitcc $ sepSemi (located' (p_stmt' placer render)) recS_stmts
456+ sitcc $ sepSemi (withSpacing (p_stmt' placer render)) recS_stmts
429 XStmtLR c -> noExtCon c
457 XStmtLR c -> noExtCon c
431gatherStmt :: ExprLStmt GhcPs -> [[ExprLStmt GhcPs]]
459gatherStmt :: ExprLStmt GhcPs -> [[ExprLStmt GhcPs]]
@@ -443,34 +471,31 @@ gatherStmtBlock (XParStmtBlock x) = noExtCon x
443p_hsLocalBinds :: HsLocalBindsLR GhcPs GhcPs -> R ()
471p_hsLocalBinds :: HsLocalBindsLR GhcPs GhcPs -> R ()
444p_hsLocalBinds = \case
472p_hsLocalBinds = \case
445 HsValBinds NoExtField (ValBinds NoExtField bag lsigs) -> do
473 HsValBinds NoExtField (ValBinds NoExtField bag lsigs) -> do
448− (srcSpanStart . getLoc)
449− (srcSpanStart . getLoc)
451− (Left <$> bagToList bag) ++ (Right <$> lsigs)
452− p_item (Left x) = located x p_valDecl
453− p_item (Right x) = located x p_sigDecl
454− -- Assigns 'False' to the last element, 'True' to the rest.
455− markInit :: [a] -> [(Bool, a)]
457− markInit [x] = [(False, x)]
458− markInit (x : xs) = (True, x) : markInit xs
459 -- When in a single-line layout, there is a chance that the inner
474 -- When in a single-line layout, there is a chance that the inner
460 -- elements will also contain semicolons and they will confuse the
475 -- elements will also contain semicolons and they will confuse the
461 -- parser. so we request braces around every element except the last.
476 -- parser. so we request braces around every element except the last.
462 br <- layoutToBraces <$> getLayout
477 br <- layoutToBraces <$> getLayout
463− sitcc $
478+ let items =
464− sepSemi
479+ let injectLeft (L l x) = L l (Left x)
465− (\(m, i) -> (if m then br else id) $ p_item i)
480+ injectRight (L l x) = L l (Right x)
466− (markInit $ sortOn ssStart items)
481+ in (injectLeft <$> bagToList bag) ++ (injectRight <$> lsigs)
482+ positionToBracing = \case
488+ positionToBracing p $
489+ withSpacing (either p_valDecl p_sigDecl) item
490+ binds = sortOn (srcSpanStart . getLoc) items
491+ sitcc $ sepSemi p_item' (attachRelativePos binds)
467 HsValBinds NoExtField _ -> notImplemented "HsValBinds"
492 HsValBinds NoExtField _ -> notImplemented "HsValBinds"
468 HsIPBinds NoExtField (IPBinds NoExtField xs) ->
493 HsIPBinds NoExtField (IPBinds NoExtField xs) ->
469 -- Second argument of IPBind is always Left before type-checking.
494 -- Second argument of IPBind is always Left before type-checking.
470 let p_ipBind (IPBind NoExtField (Left name) expr) = do
495 let p_ipBind (IPBind NoExtField (Left name) expr) = do
471 atom name
496 atom name
474 breakpoint
499 breakpoint
475 useBraces $ inci $ located expr p_hsExpr
500 useBraces $ inci $ located expr p_hsExpr
476 p_ipBind (IPBind NoExtField (Right _) _) =
501 p_ipBind (IPBind NoExtField (Right _) _) =
@@ -489,15 +514,12 @@ p_hsRecField HsRecField {..} = do
489 p_rdrName hsRecFieldLbl
514 p_rdrName hsRecFieldLbl
490 unless hsRecPun $ do
515 unless hsRecPun $ do
519+ if onTheSameLine (getLoc hsRecFieldLbl) (getLoc hsRecFieldArg)
493− let placement = exprPlacement (unLoc hsRecFieldArg)
520+ then exprPlacement (unLoc hsRecFieldArg)
494− placeHanging placement $ located hsRecFieldArg p_hsExpr
522+ placeHanging placement (located hsRecFieldArg p_hsExpr)
496−p_hsTupArg :: HsTupArg GhcPs -> R ()
498− Present NoExtField x -> located x p_hsExpr
499− Missing NoExtField -> pure ()
500− XTupArg x -> noExtCon x
502p_hsExpr :: HsExpr GhcPs -> R ()
524p_hsExpr :: HsExpr GhcPs -> R ()
503p_hsExpr = p_hsExpr' N
525p_hsExpr = p_hsExpr' N
@@ -562,23 +584,21 @@ p_hsExpr' s = \case
562 -- do-block or case expression it is not a good idea. It seems
584 -- do-block or case expression it is not a good idea. It seems
563 -- to be safe to always bump indentation when the function
585 -- to be safe to always bump indentation when the function
564 -- expression is parenthesised.
586 -- expression is parenthesised.
565− indent =
587+ doIndent =
566 case func of
588 case func of
567− L _ (HsPar NoExtField _) -> inci
589+ L _ (HsPar NoExtField _) -> True
568− L _ (HsAppType NoExtField _ _) -> inci
590+ L _ (HsAppType NoExtField _ _) -> True
569− L _ (HsMultiIf NoExtField _) -> inci
591+ L _ (HsMultiIf NoExtField _) -> True
571− if isOneLineSpan spn
592+ L spn _ -> isOneLineSpan spn
574− ub <- getLayout <&> \case
594+ getLayout <&> \case
575− SingleLine -> useBraces
595+ SingleLine -> useBraces
576− MultiLine -> id
596+ MultiLine -> id
578 located func (p_hsExpr' s)
598 located func (p_hsExpr' s)
579 breakpoint
599 breakpoint
580− indent $ sep breakpoint (located' p_hsExpr) initp
600+ inciIf doIndent $ sep breakpoint (located' p_hsExpr) initp
581− indent $ do
601+ inciIf doIndent $ do
582 unless (null initp) breakpoint
602 unless (null initp) breakpoint
583 located lastp p_hsExpr
603 located lastp p_hsExpr
584 Hanging -> do
604 Hanging -> do
@@ -593,10 +613,15 @@ p_hsExpr' s = \case
593 breakpoint
613 breakpoint
594 inci $ do
614 inci $ do
616+ -- Insert a space when the type is represented as a TH splice to avoid
617+ -- gluing @ and $ together.
618+ case unLoc (hswc_body a) of
619+ HsSpliceTy {} -> space
596 located (hswc_body a) p_hsType
621 located (hswc_body a) p_hsType
597 OpApp NoExtField x op y -> do
622 OpApp NoExtField x op y -> do
598 let opTree = OpBranch (exprOpTree x) op (exprOpTree y)
623 let opTree = OpBranch (exprOpTree x) op (exprOpTree y)
599− p_exprOpTree True s (reassociateOpTree getOpName opTree)
624+ p_exprOpTree s (reassociateOpTree getOpName opTree)
600 NegApp NoExtField e _ -> do
625 NegApp NoExtField e _ -> do
@@ -613,22 +638,27 @@ p_hsExpr' s = \case
613 let isRecordDot' = isRecordDot (unLoc op) (getLoc x)
638 let isRecordDot' = isRecordDot (unLoc op) (getLoc x)
614 unless (useRecordDot' && isRecordDot') breakpoint
639 unless (useRecordDot' && isRecordDot') breakpoint
615 inci (located x p_hsExpr)
640 inci (located x p_hsExpr)
616− ExplicitTuple NoExtField args boxity -> do
641+ ExplicitTuple NoExtField args boxity ->
617 let isSection = any (isMissing . unLoc) args
642 let isSection = any (isMissing . unLoc) args
618 isMissing = \case
643 isMissing = \case
619 Missing NoExtField -> True
644 Missing NoExtField -> True
620 _ -> False
645 _ -> False
647+ Present NoExtField x -> located x p_hsExpr
648+ Missing NoExtField -> pure ()
649+ XTupArg x -> noExtCon x
650+ p_larg = sitcc . located' p_arg
621− let parens' =
651+ parens' =
622 case boxity of
652 case boxity of
623 Boxed -> parens
653 Boxed -> parens
624 Unboxed -> parensHash
654 Unboxed -> parensHash
625− if isSection
655+ in if isSection
627− switchLayout [] . parens' s $
657+ switchLayout [] . parens' s $
628− sep comma (located' p_hsTupArg) args
658+ sep comma p_larg args
630− switchLayout (getLoc <$> args) . parens' s . sitcc $
660+ switchLayout (getLoc <$> args) . parens' s $
631− sep (comma >> breakpoint) (sitcc . located' p_hsTupArg) args
661+ sep commaDel p_larg args
632 ExplicitSum NoExtField tag arity e ->
662 ExplicitSum NoExtField tag arity e ->
633 p_unboxedSum N tag arity (located e p_hsExpr)
663 p_unboxedSum N tag arity (located e p_hsExpr)
634 HsCase NoExtField e mgroup ->
664 HsCase NoExtField e mgroup ->
@@ -636,8 +666,9 @@ p_hsExpr' s = \case
636 HsIf NoExtField _ if' then' else' ->
666 HsIf NoExtField _ if' then' else' ->
637 p_if exprPlacement p_hsExpr if' then' else'
667 p_if exprPlacement p_hsExpr if' then' else'
638 HsMultiIf NoExtField guards -> do
668 HsMultiIf NoExtField guards -> do
639− txt "if "
669+ txt "if"
640− inci . inci . sitcc $ sep newline (located' (p_grhs RightArrow)) guards
671+ inci . inci $ sep newline (located' (p_grhs RightArrow)) guards
641 HsLet NoExtField localBinds e ->
672 HsLet NoExtField localBinds e ->
642 p_let p_hsExpr localBinds e
673 p_let p_hsExpr localBinds e
643 HsDo NoExtField ctx es -> do
674 HsDo NoExtField ctx es -> do
@@ -647,17 +678,17 @@ p_hsExpr' s = \case
647 ub <- layoutToBraces <$> getLayout
678 ub <- layoutToBraces <$> getLayout
650− (located' (ub . p_stmt' exprPlacement (p_hsExpr' S)))
681+ (ub . withSpacing (p_stmt' exprPlacement (p_hsExpr' S)))
651 (unLoc es)
682 (unLoc es)
652− compBody = brackets N $ located es $ \xs -> do
683+ compBody = brackets N . located es $ \xs -> do
653 let p_parBody =
684 let p_parBody =
655− (breakpoint >> txt "| ")
686+ (breakpoint >> txt "|" >> space)
656 p_seqBody
687 p_seqBody
657 p_seqBody =
688 p_seqBody =
660− (comma >> breakpoint)
691+ commaDel
661 (located' (sitcc . p_stmt))
692 (located' (sitcc . p_stmt))
662 stmts = init xs
693 stmts = init xs
663 yield = last xs
694 yield = last xs
@@ -678,8 +709,8 @@ p_hsExpr' s = \case
678 ParStmtCtxt _ -> notImplemented "ParStmtCtxt"
709 ParStmtCtxt _ -> notImplemented "ParStmtCtxt"
679 TransStmtCtxt _ -> notImplemented "TransStmtCtxt"
710 TransStmtCtxt _ -> notImplemented "TransStmtCtxt"
680 ExplicitList _ _ xs ->
711 ExplicitList _ _ xs ->
681− brackets s . sitcc $
712+ brackets s $
682− sep (comma >> breakpoint) (sitcc . located' p_hsExpr) xs
713+ sep commaDel (sitcc . located' p_hsExpr) xs
683 RecordCon {..} -> do
714 RecordCon {..} -> do
684 located rcon_con_name atom
715 located rcon_con_name atom
685 breakpoint
716 breakpoint
@@ -695,8 +726,8 @@ p_hsExpr' s = \case
695 case rec_dotdot of
726 case rec_dotdot of
696 Just {} -> [txt ".."]
727 Just {} -> [txt ".."]
697 Nothing -> []
728 Nothing -> []
698− inci . braces N . sitcc $
729+ inci . braces N $
699− sep (comma >> breakpoint) sitcc (fields <> dotdot)
730+ sep commaDel sitcc (fields <> dotdot)
700 RecordUpd {..} -> do
731 RecordUpd {..} -> do
701 located rupd_expr p_hsExpr
732 located rupd_expr p_hsExpr
702 useRecordDot' <- useRecordDot
733 useRecordDot' <- useRecordDot
@@ -714,9 +745,9 @@ p_hsExpr' s = \case
714 Unambiguous _ n -> n
745 Unambiguous _ n -> n
715 XAmbiguousFieldOcc x -> noExtCon x
746 XAmbiguousFieldOcc x -> noExtCon x
717− inci . braces N . sitcc $
748+ inci . braces N $
719− (comma >> breakpoint)
750+ commaDel
720 (sitcc . located' (p_hsRecField . updName))
751 (sitcc . located' (p_hsRecField . updName))
721 rupd_flds
752 rupd_flds
722 ExprWithTySig NoExtField x HsWC {hswc_body = HsIB {..}} -> sitcc $ do
753 ExprWithTySig NoExtField x HsWC {hswc_body = HsIB {..}} -> sitcc $ do
@@ -729,22 +760,22 @@ p_hsExpr' s = \case
729 ExprWithTySig NoExtField _ (XHsWildCardBndrs x) -> noExtCon x
760 ExprWithTySig NoExtField _ (XHsWildCardBndrs x) -> noExtCon x
730 ArithSeq NoExtField _ x ->
761 ArithSeq NoExtField _ x ->
731 case x of
762 case x of
732− From from -> brackets s . sitcc $ do
763+ From from -> brackets s $ do
733 located from p_hsExpr
764 located from p_hsExpr
734 breakpoint
765 breakpoint
736− FromThen from next -> brackets s . sitcc $ do
767+ FromThen from next -> brackets s $ do
737− sitcc $ sep (comma >> breakpoint) (located' p_hsExpr) [from, next]
768+ sep commaDel (located' p_hsExpr) [from, next]
738 breakpoint
769 breakpoint
740− FromTo from to -> brackets s . sitcc $ do
771+ FromTo from to -> brackets s $ do
741 located from p_hsExpr
772 located from p_hsExpr
742 breakpoint
773 breakpoint
745 located to p_hsExpr
776 located to p_hsExpr
746− FromThenTo from next to -> brackets s . sitcc $ do
777+ FromThenTo from next to -> brackets s $ do
747− sitcc $ sep (comma >> breakpoint) (located' p_hsExpr) [from, next]
778+ sep commaDel (located' p_hsExpr) [from, next]
748 breakpoint
779 breakpoint
@@ -794,7 +825,7 @@ p_patSynBind PSB {..} = do
794 breakpoint
825 breakpoint
795 located psb_def p_pat
826 located psb_def p_pat
796 ImplicitBidirectional -> do
827 ImplicitBidirectional -> do
798 breakpoint
829 breakpoint
799 located psb_def p_pat
830 located psb_def p_pat
800 ExplicitBidirectional mgroup -> do
831 ExplicitBidirectional mgroup -> do
@@ -821,8 +852,8 @@ p_patSynBind PSB {..} = do
821 inci $ do
852 inci $ do
822 switchLayout (getLoc . recordPatSynPatVar <$> xs) $ do
853 switchLayout (getLoc . recordPatSynPatVar <$> xs) $ do
823 unless (null xs) breakpoint
854 unless (null xs) breakpoint
824− braces N . sitcc $
855+ braces N $
825− sep (comma >> breakpoint) (p_rdrName . recordPatSynPatVar) xs
856+ sep commaDel (p_rdrName . recordPatSynPatVar) xs
827 InfixCon l r -> do
858 InfixCon l r -> do
828 switchLayout [getLoc l, getLoc r] $ do
859 switchLayout [getLoc l, getLoc r] $ do
@@ -876,10 +907,12 @@ p_if placer render if' then' else' = do
876 breakpoint
907 breakpoint
877 inci $ do
908 inci $ do
878 txt "then"
909 txt "then"
879 located then' $ \x ->
911 located then' $ \x ->
880 placeHanging (placer x) (render x)
912 placeHanging (placer x) (render x)
881 breakpoint
913 breakpoint
882 txt "else"
914 txt "else"
883 located else' $ \x ->
916 located else' $ \x ->
884 placeHanging (placer x) (render x)
917 placeHanging (placer x) (render x)
@@ -916,13 +949,13 @@ p_pat = \case
917 located pat p_pat
950 located pat p_pat
918 ListPat NoExtField pats ->
951 ListPat NoExtField pats ->
919− brackets S . sitcc $ sep (comma >> breakpoint) (located' p_pat) pats
952+ brackets S $ sep commaDel (located' p_pat) pats
920 TuplePat NoExtField pats boxing -> do
953 TuplePat NoExtField pats boxing -> do
921− let f =
954+ let parens' =
922 case boxing of
955 case boxing of
923 Boxed -> parens S
956 Boxed -> parens S
924 Unboxed -> parensHash S
957 Unboxed -> parensHash S
925− f . sitcc $ sep (comma >> breakpoint) (sitcc . located' p_pat) pats
958+ parens' $ sep commaDel (sitcc . located' p_pat) pats
926 SumPat NoExtField pat tag arity ->
959 SumPat NoExtField pat tag arity ->
927 p_unboxedSum S tag arity (located pat p_pat)
960 p_unboxedSum S tag arity (located pat p_pat)
928 ConPatIn pat details ->
961 ConPatIn pat details ->
@@ -938,7 +971,7 @@ p_pat = \case
938 let f = \case
971 let f = \case
939 Nothing -> txt ".."
972 Nothing -> txt ".."
940 Just x -> located x p_pat_hsRecField
973 Just x -> located x p_pat_hsRecField
941− inci . braces N . sitcc . sep (comma >> breakpoint) f $
974+ inci . braces N . sep commaDel f $
942 case dotdot of
975 case dotdot of
943 Nothing -> Just <$> fields
976 Nothing -> Just <$> fields
944 Just (L _ n) -> (Just <$> take n fields) ++ [Nothing]
977 Just (L _ n) -> (Just <$> take n fields) ++ [Nothing]
@@ -979,7 +1012,7 @@ p_pat_hsRecField HsRecField {..} = do
979 p_rdrName (rdrNameFieldOcc x)
1012 p_rdrName (rdrNameFieldOcc x)
980 unless hsRecPun $ do
1013 unless hsRecPun $ do
983 breakpoint
1016 breakpoint
984 inci (located hsRecFieldArg p_pat)
1017 inci (located hsRecFieldArg p_pat)
@@ -988,17 +1021,15 @@ p_unboxedSum s tag arity m = do
988 let before = tag - 1
1021 let before = tag - 1
989 after = arity - before - 1
1022 after = arity - before - 1
990 args = replicate before Nothing <> [Just m] <> replicate after Nothing
1023 args = replicate before Nothing <> [Just m] <> replicate after Nothing
991− f (x, i) = do
1024+ f x =
992− let isFirst = i == 0
993− isLast = i == arity - 1
994 case x :: Maybe (R ()) of
1025 case x :: Maybe (R ()) of
995 Nothing ->
1026 Nothing ->
996− unless (isFirst || isLast) space
1027+ space
997 Just m' -> do
1028 Just m' -> do
998− unless isFirst space
1029+ space
1000− unless isLast space
1031+ space
1001− parensHash s $ sep (txt "|") f (zip args [0 ..])
1032+ parensHash s $ sep (txt "|") f args
1003p_hsSplice :: HsSplice GhcPs -> R ()
1034p_hsSplice :: HsSplice GhcPs -> R ()
1004p_hsSplice = \case
1035p_hsSplice = \case
@@ -1200,11 +1231,10 @@ exprPlacement = \case
1200 HsCase NoExtField _ _ -> Hanging
1231 HsCase NoExtField _ _ -> Hanging
1201 HsDo NoExtField DoExpr _ -> Hanging
1232 HsDo NoExtField DoExpr _ -> Hanging
1202 HsDo NoExtField MDoExpr _ -> Hanging
1233 HsDo NoExtField MDoExpr _ -> Hanging
1203− -- If the rightmost expression in an operator chain is hanging, make the
1234+ OpApp NoExtField _ op y ->
1204− -- whole block hanging; so that we can use the common @f = foo $ do@
1235+ case (fmap getOpNameStr . getOpName . unLoc) op of
1205− -- style.
1236+ Just "$" -> exprPlacement (unLoc y)
1206− OpApp NoExtField _ _ y -> exprPlacement (unLoc y)
1237+ _ -> Normal
1207− -- Same thing for function applications (usually with -XBlockArguments)
1208 HsApp NoExtField _ y -> exprPlacement (unLoc y)
1238 HsApp NoExtField _ y -> exprPlacement (unLoc y)
1209 HsProc NoExtField p _ ->
1239 HsProc NoExtField p _ ->
1210 -- Indentation breaks if pattern is longer than one line and left
1240 -- Indentation breaks if pattern is longer than one line and left
@@ -1230,15 +1260,16 @@ getOpName = \case
1230 HsVar NoExtField (L _ a) -> Just a
1260 HsVar NoExtField (L _ a) -> Just a
1231 _ -> Nothing
1261 _ -> Nothing
1263+getOpNameStr :: RdrName -> String
1264+getOpNameStr = occNameString . rdrNameOcc
1233p_exprOpTree ::
1266p_exprOpTree ::
1234− -- | Can use special handling of dollar?
1236 -- | Bracket style to use
1267 -- | Bracket style to use
1237 BracketStyle ->
1268 BracketStyle ->
1238 OpTree (LHsExpr GhcPs) (LHsExpr GhcPs) ->
1269 OpTree (LHsExpr GhcPs) (LHsExpr GhcPs) ->
1240−p_exprOpTree _ s (OpNode x) = located x (p_hsExpr' s)
1271+p_exprOpTree s (OpNode x) = located x (p_hsExpr' s)
1241−p_exprOpTree isDollarSpecial s (OpBranch x op y) = do
1272+p_exprOpTree s (OpBranch x op y) = do
1242 -- If the beginning of the first argument and the second argument are on
1273 -- If the beginning of the first argument and the second argument are on
1243 -- the same line, and the second argument has a hanging form, use hanging
1274 -- the same line, and the second argument has a hanging form, use hanging
1244 -- placement.
1275 -- placement.
@@ -1260,44 +1291,54 @@ p_exprOpTree isDollarSpecial s (OpBranch x op y) = do
1260 MultiLine -> case placement of
1291 MultiLine -> case placement of
1261 Hanging -> useBraces
1292 Hanging -> useBraces
1262 Normal -> dontUseBraces
1293 Normal -> dontUseBraces
1263− gotDollar = case getOpName (unLoc op) of
1294+ opNameStr = (fmap getOpNameStr . getOpName . unLoc) op
1264− Just rname -> mkVarOcc "$" == rdrNameOcc rname
1295+ gotDollar = opNameStr == Just "$"
1265− _ -> False
1296+ gotColon = opNameStr == Just ":"
1297+ gotRecordDot = isRecordDot (unLoc op) (opTreeLoc y)
1267 switchLayout [opTreeLoc x] $
1299 switchLayout [opTreeLoc x] $
1268− p_exprOpTree (not gotDollar) s x
1300+ p_exprOpTree s x
1269− let p_op = located op (opWrapper . p_hsExpr)
1301+ p_op = located op (opWrapper . p_hsExpr)
1270− p_y = switchLayout [opTreeLoc y] (p_exprOpTree True N y)
1302+ p_y = switchLayout [opTreeLoc y] (p_exprOpTree N y)
1271 isSection = case (opTreeLoc x, getLoc op) of
1303 isSection = case (opTreeLoc x, getLoc op) of
1272 (RealSrcSpan treeSpan, RealSrcSpan opSpan) ->
1304 (RealSrcSpan treeSpan, RealSrcSpan opSpan) ->
1273 srcSpanEndCol treeSpan /= srcSpanStartCol opSpan
1305 srcSpanEndCol treeSpan /= srcSpanStartCol opSpan
1274 _ -> False
1306 _ -> False
1308+ OpNode (L _ HsDo {}) -> True
1275 useRecordDot' <- useRecordDot
1310 useRecordDot' <- useRecordDot
1276− let isRecordDot' = isRecordDot (unLoc op) (opTreeLoc y)
1311+ if
1277− if useRecordDot' && isRecordDot'
1312+ | gotColon -> do
1280− when isSection space
1315+ p_op
1281− p_op
1316+ case placement of
1282− p_y
1317+ Hanging -> do
1288− && isOneLineSpan (opTreeLoc x)
1297− placeHanging placement $ do
1322+ inciIf (isDoBlock y) p_y
1324+ && isOneLineSpan (opTreeLoc x)
1325+ && placement == Normal -> do
1331+ | useRecordDot' && gotRecordDot -> do
1333+ when isSection space
1338+ placeHanging placement $ do
1302-- | Return 'True' if given expression is a record-dot operator expression.
1343-- | Return 'True' if given expression is a record-dot operator expression.
1303isRecordDot ::
1344isRecordDot ::
@@ -1308,14 +1349,10 @@ isRecordDot ::
1309isRecordDot op (RealSrcSpan ySpan) = case op of
1350isRecordDot op (RealSrcSpan ySpan) = case op of
1310 HsVar NoExtField (L (RealSrcSpan opSpan) opName) ->
1351 HsVar NoExtField (L (RealSrcSpan opSpan) opName) ->
1311− isDot opName && (srcSpanEndCol opSpan == srcSpanStartCol ySpan)
1352+ (getOpNameStr opName == ".") && (srcSpanEndCol opSpan == srcSpanStartCol ySpan)
1312 _ -> False
1353 _ -> False
1313isRecordDot _ _ = False
1354isRecordDot _ _ = False
1315−-- | Check whether a given 'RdrName' is the dot operator.
1316−isDot :: RdrName -> Bool
1317−isDot name = rdrNameOcc name == mkVarOcc "."
1319-- | Get annotations for the enclosing element.
1356-- | Get annotations for the enclosing element.
1320getEnclosingAnns :: R [AnnKeywordId]
1357getEnclosingAnns :: R [AnnKeywordId]
1321getEnclosingAnns = do
1358getEnclosingAnns = do