Fix paren-multiline-expression in do block

data/15-regressions.blt

@@ -998,3 +998,20 @@ func = do
 func False = 0
 -- comment
 func True  = 1
+
+#test nested do-block-with-comment issue
+dofunc = do
+  do
+    some
+    code
+  do
+    -- abc
+    more
+    code
+
+#test do-block paren non-alignment
+catchFunc = do
+  (func aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
+        aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
+    )
+    `catch` catcher

source/library/Language/Haskell/Brittany/Internal/Components/OpTree.hs

@@ -379,6 +379,18 @@ hardcodedFixity allowUnqualify = \case
   ":>"          -> fixity InfixL 9
   ":>="         -> fixity InfixL 9
   ":->"         -> fixity InfixL 9
+  ".=="         -> fixity InfixN 5
+  "./"          -> fixity InfixN 5
+  ".<"          -> fixity InfixN 5
+  ".<="         -> fixity InfixN 5
+  ".>"          -> fixity InfixN 5
+  ".>="         -> fixity InfixN 5
+  "`member`"    -> fixity InfixN 8
+  "`notMember`" -> fixity InfixN 8
+  ".//"         -> fixity InfixL 4
+  ".&&"         -> fixity InfixR 3
+  ".||"         -> fixity InfixR 2
+  ".=>"         -> fixity InfixR 1
 
   -- servant
   ":>"          -> fixity InfixR 4

source/library/Language/Haskell/Brittany/Internal/S2_SplitModule.hs

@@ -103,7 +103,7 @@ splitModuleDecls lmod = do
   lastSpan <- do
     finalYield $ MEExactModuleHead moduleWithoutComments
     pure
-      $  maybe (1, 1) (ExactPrint.ss2posEnd)
+      $  maybe (0, 1) (ExactPrint.ss2posEnd)
       $  maximumMay
       $  [ GHC.anchor a
          | L a _ <- GHC.priorComments $ case hsModAnn' of

source/library/Language/Haskell/Brittany/Internal/ToBriDoc/OpTree.hs

@@ -245,7 +245,8 @@ layoutOpTree allowSinglelinePar = \case
           wrapParenMlIf x innerHead innerLines = if x
             then wrapParenMl innerHead innerLines
             else docPar innerHead (docLines innerLines)
-          wrapParenMl innerHead innerLines = docSetBaseY $ docLines
+          wrapParenMl innerHead innerLines = docAlt
+            [ docForceZeroAdd $ docSetBaseY $ docLines
               (  [ docCols
                      ColOpPrefix
                      [ (if zeroOps then id else appSep) $ docLit $ Text.pack "("
@@ -255,6 +256,17 @@ layoutOpTree allowSinglelinePar = \case
               ++ innerLines
               ++ [docHandleComms locC $ docLit $ Text.pack ")"]
               )
+            , docPar
+              (docCols
+                ColOpPrefix
+                [ (if zeroOps then id else appSep) $ docLit $ Text.pack "("
+                , docHandleComms locO $ innerHead
+                ]
+              )
+              ( docLines
+              $ innerLines ++ [docHandleComms locC $ docLit $ Text.pack ")"]
+              )
+            ]
 
       configAllowsParInsert <- askLayoutConf _lconfig_fixityBasedAddAlignParens
       let allowParIns = configAllowsParInsert && case fixity of

source/library/Language/Haskell/Brittany/Internal/Transformations/T1_Alt.hs

@@ -205,7 +205,7 @@ transformAlts =
         let ind = _acp_indent acp + _acp_indentPrep acp + indAdd
         mSet $ acp
           { _acp_indent = ind, _acp_indentPrep = 0
-          , _acp_indentPrepForced = False
+          , _acp_indentPrepForced = parentForced
           }
         sameLine' <- go sameLine
         mModify $ \acp' -> acp'

source/library/Language/Haskell/Brittany/Internal/Transformations/T4_Columns.hs

@@ -91,8 +91,8 @@ transformSimplifyColumns = Uniplate.rewrite $ \case
       ]
   BDPar ind col1@(BDCols sig1 _) col2@(BDCols sig2 _) | sig1 == sig2 ->
     Just $ BDAddBaseY ind (BDLines [col1, col2])
-  BDPar ind col1@(BDCols sig1 _) (BDLines (col2@(BDCols sig2 _) : rest))
+  -- BDPar ind col1@(BDCols sig1 _) (BDLines (col2@(BDCols sig2 _) : rest))
-    | sig1 == sig2 -> Just $ BDPar ind (BDLines [col1, col2]) (BDLines rest)
+  --   | sig1 == sig2 -> Just $ BDPar ind (BDLines [col1, col2]) (BDLines rest)
   BDPar ind (BDLines lines1) col2@(BDCols sig2 _)
     | BDCols sig1 _ <- List.last lines1, sig1 == sig2 -> Just
     $ BDAddBaseY ind (BDLines $ lines1 ++ [col2])

source/library/Language/Haskell/Brittany/Internal/Transformations/T5_Indent.hs

@@ -44,6 +44,8 @@ transformSimplifyIndent = Uniplate.rewrite $ \case
     Just $ BDFlushCommentsPrior c (BDAddBaseY i x)
   BDAddBaseY i (BDFlushCommentsPost c sm x) ->
     Just $ BDFlushCommentsPost c sm (BDAddBaseY i x)
+  BDAddBaseY i (BDQueueComments comms x) ->
+    Just $ BDQueueComments comms (BDAddBaseY i x)
   BDAddBaseY i (BDSeq l) ->
     Just $ BDSeq $ List.init l ++ [BDAddBaseY i $ List.last l]
   BDAddBaseY i (BDCols sig l) ->