15 changed files with 104 additions and 295 deletions
--- a/data/12-features/import-merging.blt
+++ b/data/12-features/import-merging.blt
@ -1,45 +0,0 @@
-#group feature/import-merging
-
-
-#golden merge imports down to constructor-level
-import           Data.Bool                                ( Bool(True) )
-import           Data.Bool                                ( Bool(False) )
-#expected
-import           Data.Bool                                ( Bool(False, True) )
-
-#golden wildcard trumps explicit+hiding
-import           Data.Map                                 ( Map )
-import           Data.Map
-import           Data.Map                          hiding ( toList )
-#expected
-import           Data.Map
-
-#golden explicit+hiding do not merge for now
-import           Data.Map                                 ( Map )
-import           Data.Map                          hiding ( toList )
-#expected
-import           Data.Map                                 ( Map )
-import           Data.Map                          hiding ( toList )
-
-#golden hiding+hiding do not merge for now
-import           Data.Map                          hiding ( toList )
-import           Data.Map                          hiding ( fromList )
-#expected
-import           Data.Map                          hiding ( toList )
-import           Data.Map                          hiding ( fromList )
-
-#golden qualified and qualified-as merge but separately
-import qualified Data.Map                                 ( toList )
-import qualified Data.Map                                 ( fromList )
-import qualified Data.Map                                as M
-                                                          ( Map )
-import qualified Data.Map                                as M
-                                                          ( take )
-#expected
-import qualified Data.Map                                 ( fromList
-                                                          , toList
-                                                          )
-import qualified Data.Map                                as M
-                                                          ( Map
-                                                          , take
-                                                          )
--- a/data/12-features/minimize-parentheses.blt
+++ b/data/12-features/minimize-parentheses.blt
@ -25,7 +25,3 @@ func = func ((((((((nested + expression))))))))
 #expected
 -- brittany { lconfig_operatorParenthesisRefactorMode: PRMMinimize }
 func = func (nested + expression)
-
-#test does not remove parens on InfixN
-- brittany { lconfig_operatorParenthesisRefactorMode: PRMMinimize }
-func = (a == Foo) == (b == Bar)
--- a/data/15-regressions.blt
+++ b/data/15-regressions.blt
@ -1113,16 +1113,3 @@ func = do
 func arg = abc ++ def ++ case arg of
  False -> ghi
  True  -> jkl
-
-#test non-idempotent comment position with let-in-where
-otherFunc very long patterrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrrn
-  = let
-        localfunc a b c = a <> b <> c
-        someThing = fromList [abc, def, ghi]
-    in -- abc
-        aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
-        + bbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbbb
-        + ccccccc
- where
-  ccccccc = "abc"
-  ddddd   = True
--- a/data/30-tests-context-free.blt
+++ b/data/30-tests-context-free.blt
@ -1415,7 +1415,6 @@ foo =

 #test issue 176

-- brittany { lconfig_unknownFixityHandling: UFHSafeIgnore }
 record :: Record
 record = Record
  { rProperties =
--- a/source/library/Language/Haskell/Brittany/Internal/Components/OpTree.hs
+++ b/source/library/Language/Haskell/Brittany/Internal/Components/OpTree.hs
@ -15,13 +15,10 @@ import           GHC.Types.Fixity               ( Fixity(Fixity)
 import           GHC.Types.SourceText           ( SourceText(NoSourceText) )
 import qualified Safe
 import qualified Data.Char
-import           Data.Data                      ( toConstr )

 import           Language.Haskell.Brittany.Internal.Components.BriDoc
 import           Language.Haskell.Brittany.Internal.Utils
 import           Language.Haskell.Brittany.Internal.Types
-import           Language.Haskell.Brittany.Internal.Config.Types
-                                                ( UnknownFixityHandling(..) )



@ -38,7 +35,7 @@ displayOpTree = \case
         [ ("(" ++ showOp op ++ "," ++ displayOpTree x ++ ")") | (op, x) <- rs ]
    ++ "])"
    )
-  OpKnown p _ _ _ fixity tree ops ->
+  OpKnown p _ _ fixity tree ops ->
    (  "OpKnown "
    ++ show p
    ++ " "
@ -87,22 +84,19 @@ data ReformatParenMode
 -- || (== a (+ b c)), /= (* d e) f
 -- || (== a (+ b c)) (/= (* d e) f)

-data StackElem = StackElem (Bool, Fixity) [(OpTree, BriDocNumbered)]
+data StackElem = StackElem Fixity [(OpTree, BriDocNumbered)]
 type Stack = [StackElem]

-balanceOpTree
-  :: UnknownFixityHandling -> Bool -> OpTree -> ([BrittanyError], OpTree)
-balanceOpTree unknownFixityHandling allowUnqualify = outer
- where
-  outer = \case
+balanceOpTree :: Bool -> OpTree -> ([BrittanyError], OpTree)
+balanceOpTree allowUnqualify = \case
  x@OpLeaf{} -> ([], x)
-    OpKnown paren allowT locO locC fixity@(Fixity _ (-1) _) left rest ->
+  OpKnown paren locO locC fixity@(Fixity _ (-1) _) left rest ->
    let
-          (warnsLeft, balancedLeft) = outer left
-          opRes = [ (op, outer argTree) | (op, argTree) <- rest ]
+        (warnsLeft, balancedLeft) = balanceOpTree allowUnqualify left
+        opRes =
+          [ (op, balanceOpTree allowUnqualify argTree) | (op, argTree) <- rest ]
    in  ( warnsLeft ++ [ w | (_, (warns, _)) <- opRes, w <- warns ]
        , OpKnown paren
-                    allowT
                  locO
                  locC
                  fixity
@ -111,20 +105,24 @@ balanceOpTree unknownFixityHandling allowUnqualify = outer
        )
  x@OpKnown{} -> ([], x)
  x@(OpUnknown paren locO locC left rest) ->
-      let (warns, balancedLeft) = outer left
+    let (warns, balancedLeft) = balanceOpTree allowUnqualify left
    in  case go [] rest balancedLeft of
          Right (leaf@OpLeaf{}) -> (warns, leaf)
-            Right (OpKnown _paren allowT _ _ fixity c cs) ->
-              (warns, OpKnown paren allowT locO locC fixity c cs)
+          Right (OpKnown _paren _ _ fixity c cs) ->
+            (warns, OpKnown paren locO locC fixity c cs)
          Right t -> (warns, t)
-            Left  moreWarns -> ((warns ++ moreWarns), x)
+          Left moreWarns ->
+            ( (  warns
+              ++ [ LayoutWarning ("Fixity of operator not known: " ++ w)
+                 | w <- moreWarns
+                 ]
+              )
+            , x
+            )
+ where
  -- singleton :: BriDocNumbered -> StackElem
  -- singleton x = StackElem (Fixity NoSourceText 99 InfixN) (OpLeaf x) []
-  go
-    :: Stack
-    -> [(BriDocNumbered, OpTree)]
-    -> OpTree
-    -> Either [BrittanyError] OpTree
+  go :: Stack -> [(BriDocNumbered, OpTree)] -> OpTree -> Either [String] OpTree
  go [] [] _ = Left []
  go [StackElem fxty cs] [] c =
    let (e1, eops) = shiftOps cs c in Right (known fxty e1 eops)
@ -137,8 +135,8 @@ balanceOpTree unknownFixityHandling allowUnqualify = outer
      fxty <- docFixity opDoc
      go [StackElem fxty [(c, opDoc)]] inputR val
    (StackElem fixityS cs : stackR) -> do
-      let (_, Fixity _ precS dirS) = fixityS
-      fxty@(_, Fixity _ prec dir) <- docFixity opDoc
+      let Fixity _ precS dirS = fixityS
+      fxty@(Fixity _ prec dir) <- docFixity opDoc
      case compare prec precS of
        GT -> go (StackElem fxty [(c, opDoc)] : stack) inputR val
        LT -> do
@ -150,26 +148,14 @@ balanceOpTree unknownFixityHandling allowUnqualify = outer
          (InfixL, InfixL) ->
            go (StackElem fixityS ((c, opDoc) : cs) : stackR) inputR val
          _ -> Left []
-  docFixity :: BriDocNumbered -> Either [BrittanyError] (Bool, Fixity)
+  docFixity :: BriDocNumbered -> Either [String] Fixity
  docFixity (_, x) = case x of
    BDLit (Text.unpack -> s) -> case hardcodedFixity allowUnqualify s of
-      Just f  -> Right (True, f)
-      Nothing -> case unknownFixityHandling of
-        UFHSafeWarn -> Left
-          [LayoutWarning ("Fixity of operator not known: " ++ s)]
-        UFHSafeIgnore       -> Left []
-        UFHDefaultFixity    -> Right (False, defaultFixity)
-        UFHDangerousDefault -> Right (True, defaultFixity)
+      Just f  -> Right f
+      Nothing -> Left [s]
    BDFlushCommentsPrior _ d -> docFixity d
    BDQueueComments      _ d -> docFixity d
-    _                        -> Left
-      [ ( LayoutWarning
-        $ "internal brittany warning: "
-          ++ "Unknown form of operator "
-          ++ show (toConstr x)
-          ++ "!"
-        )
-      ]
+    _                        -> Left []
  shiftOps
    :: [(OpTree, BriDocNumbered)]
    -> OpTree
@ -182,29 +168,31 @@ balanceOpTree unknownFixityHandling allowUnqualify = outer
              mapAccumL (\op (nextE, nextOp) -> (nextOp, (op, nextE))) o1 rest
        in  list ++ [(finalOp, final)]
      )
-  known (allowT, fixity) = OpKnown NoParen allowT Nothing Nothing fixity
+  known = OpKnown NoParen Nothing Nothing

 addAllParens :: OpParenMode -> OpTree -> OpTree
 addAllParens topLevelParen = \case
-  OpKnown _paren True locO locC fixity c cs ->
+  x@OpLeaf{}    -> x
+  x@OpUnknown{} -> x
+  OpKnown _paren locO locC fixity c cs ->
    OpKnown topLevelParen
-            True
            locO
            locC
            fixity
            (addAllParens ParenWithSpace c)
            [ (op, addAllParens ParenWithSpace tree) | (op, tree) <- cs ]
-  x -> x

 remSuperfluousParens :: Int -> OpTree -> OpTree
 remSuperfluousParens outerFixity = \case
+  x@OpLeaf{} -> x
  OpUnknown _ locO locC c@(OpLeaf _ doc) [] | isLit doc ->
    OpUnknown NoParen locO locC c []
  OpUnknown _ locO locC c@(OpUnknown ParenWithSpace _ _ _ _) [] ->
    OpUnknown NoParen locO locC (remSuperfluousParens 11 c) []
  OpUnknown _ locO locC c@(OpUnknown ParenNoSpace _ _ _ _) [] ->
    OpUnknown NoParen locO locC (remSuperfluousParens 11 c) []
-  OpKnown paren True locO locC fixity c cs ->
+  x@OpUnknown{} -> x
+  OpKnown paren locO locC fixity c cs ->
    OpKnown
      -- We do not support removing superfluous parens around
      -- function types yet:
@ -212,19 +200,11 @@ remSuperfluousParens outerFixity = \case
        then paren
        else NoParen
      )
-      True
      locO
      locC
      fixity
-      (remSuperfluousParens
-        (case fixity of
-          Fixity _ level InfixN -> level + 1
-          Fixity _ level _      -> level
-        )
-        c
-      )
+      (remSuperfluousParens (fixLevel fixity) c)
      [ (op, remSuperfluousParens (fixLevel fixity) tree) | (op, tree) <- cs ]
-  x -> x
 where
  fixLevel (Fixity _ i _) = i
  isLit = \case
@ -330,19 +310,10 @@ hardcodedFixity allowUnqualify = \case
  ".>"          -> Just $ Fixity NoSourceText 9 InfixL
  ":?"          -> Just $ Fixity NoSourceText 7 InfixN
  ":-"          -> Just $ Fixity NoSourceText 9 InfixR
+  ".:"          -> Just $ Fixity NoSourceText 9 InfixR
  "$!!"         -> fixity InfixR 0
  "<$!!>"       -> fixity InfixL 4

-  -- aeson
-  -- ".=" -> fixity InfixR 8 -- this clashes with lens :(
-  ".?="         -> fixity InfixR 8
-  ".:"          -> fixity InfixL 9
-  ".:!"         -> fixity InfixL 9
-  ".:?"         -> fixity InfixL 9
-  ".!="         -> fixity InfixL 9
-  ".:?="        -> fixity InfixL 9
-  ".:!="        -> fixity InfixL 9
-
  -- lens, not complete!
  "<|"          -> fixity InfixR 5
  "|>"          -> fixity InfixL 5
@ -360,7 +331,7 @@ hardcodedFixity allowUnqualify = \case
  "**~"         -> fixity InfixR 4
  "||~"         -> fixity InfixR 4
  "&&~"         -> fixity InfixR 4
-  -- ".="          -> fixity InfixN 4 -- this clashes with aeson :(
+  ".="          -> fixity InfixN 4
  "%="          -> fixity InfixN 4
  "?="          -> fixity InfixN 4
  "+="          -> fixity InfixN 4
@ -411,6 +382,8 @@ hardcodedFixity allowUnqualify = \case
  "==>"         -> fixity InfixR 0
  "=/="         -> fixity InfixN 4
  "==="         -> fixity InfixN 4
+  ".:!"         -> fixity InfixL 9
+  ".:?"         -> fixity InfixL 9
  -- ".:>"       -> fixity _ _
  -- ".:>?"      -> fixity _ _
  "<.>"         -> fixity InfixR 7
@ -482,6 +455,3 @@ hardcodedFixity allowUnqualify = \case
      $ dropWhile (\x -> (Data.Char.isAlpha x || x == '.')) str
    _ -> Nothing
  where fixity a b = Just (Fixity NoSourceText b a)
-
-defaultFixity :: Fixity
-defaultFixity = Fixity NoSourceText 9 InfixL
--- a/source/library/Language/Haskell/Brittany/Internal/Config/Config.hs
+++ b/source/library/Language/Haskell/Brittany/Internal/Config/Config.hs
@ -61,7 +61,6 @@ staticDefaultConfig = Config
    -- , _lconfig_allowSinglelineRecord     = coerce False
    , _lconfig_fixityAwareOps = coerce True
    , _lconfig_fixityAwareTypeOps = coerce False
-    , _lconfig_unknownFixityHandling = coerce UFHSafeWarn
    , _lconfig_fixityBasedAddAlignParens = coerce False
    , _lconfig_operatorParenthesisRefactorMode = coerce PRMKeep
    , _lconfig_operatorAllowUnqualify = coerce True
@ -168,7 +167,6 @@ cmdlineConfigParser = do
      , _lconfig_allowSinglelineRecord     = mempty
      , _lconfig_fixityAwareOps = mempty
      , _lconfig_fixityAwareTypeOps = mempty
-      , _lconfig_unknownFixityHandling = mempty
      , _lconfig_fixityBasedAddAlignParens = mempty
      , _lconfig_operatorParenthesisRefactorMode = mempty
      , _lconfig_operatorAllowUnqualify = mempty
--- a/source/library/Language/Haskell/Brittany/Internal/Config/Types.hs
+++ b/source/library/Language/Haskell/Brittany/Internal/Config/Types.hs
@ -160,7 +160,6 @@ data CLayoutConfig f = LayoutConfig
  , _lconfig_fixityAwareTypeOps :: f (Last Bool)
    -- Same as above, but for type-level operators. Not yet implemented, but
    -- reserved for future use.
-  , _lconfig_unknownFixityHandling :: f (Last UnknownFixityHandling)
  , _lconfig_fixityBasedAddAlignParens :: f (Last Bool)
    -- Layouts multiple-line operator applications with parentheses if
    -- permitted by layout. Note how the arguments are properly aligned:
@ -286,33 +285,6 @@ data CPPMode = CPPModeAbort  -- abort program on seeing -XCPP
                             -- file.)
  deriving (Show, Generic, Data)

-data UnknownFixityHandling
-  = UFHSafeWarn
-    -- ^ If there are operators with unknown fixitiy, then
-    --   1) all operators in this operator-expression will be treated as
-    --      having the same fixity
-    --   2) A warning will be emitted
-    --   3) No transformations (parenthesis normalisation) will be performed
-  | UFHSafeIgnore
-    -- ^ Same as UFHWarning, but without step 2)
-  | UFHDefaultFixity
-    -- ^ Any operators with unknown fixity will be assigned the default
-    --   fixity, InfixL 9, and fixity-aware layouting will proceed for this
-    --   operator-expression. However, non-whitespace transformations will
-    --   be disable to prevent changed semantics.
-  | UFHDangerousDefault
-    -- ^ Like UFHDefaultFixity this assigns default fixity InfixL 9 to unknown
-    --   operators, but it even allows non-whitespace transformations.
-    --   This is dangerous!
-    --   Consider that for an expression such as `a <+> (b ***** c)`, where
-    --   the fixity of the hypothetical operator `*****` is unknown, the
-    --   "remove redundant parentheses" mode would yield `a <+> b ***** c`.
-    --   However, if the true fixity is `infixl 2 *****` then this
-    --   transformation does not retain semantics which may or may not
-    --   lead to type-errors.
-    --   This is the same as UFHDefaultFixity iff ParenRefactorMode is PRMKeep.
-  deriving (Show, Generic, Data)
-
 data ExactPrintFallbackMode
  = ExactPrintFallbackModeNever  -- never fall back on exactprinting
  | ExactPrintFallbackModeInline -- fall back only if there are no newlines in
--- a/source/library/Language/Haskell/Brittany/Internal/Config/Types/Instances1.hs
+++ b/source/library/Language/Haskell/Brittany/Internal/Config/Types/Instances1.hs
@ -68,13 +68,6 @@ instance ToJSON CPPMode where
  toJSON = Aeson.genericToJSON aesonDecodeOptionsBrittany
  toEncoding = Aeson.genericToEncoding aesonDecodeOptionsBrittany

-instance FromJSON UnknownFixityHandling where
-  parseJSON = Aeson.genericParseJSON aesonDecodeOptionsBrittany
-
-instance ToJSON UnknownFixityHandling where
-  toJSON = Aeson.genericToJSON aesonDecodeOptionsBrittany
-  toEncoding = Aeson.genericToEncoding aesonDecodeOptionsBrittany
-
 instance FromJSON ExactPrintFallbackMode where
  parseJSON = Aeson.genericParseJSON aesonDecodeOptionsBrittany

--- a/source/library/Language/Haskell/Brittany/Internal/SplitExactModule.hs
+++ b/source/library/Language/Haskell/Brittany/Internal/SplitExactModule.hs
@ -47,7 +47,6 @@ import           GHC                            ( AddEpAnn(AddEpAnn)
                                                  )
                                                , SrcSpanAnn'(SrcSpanAnn)
                                                , anchor
-                                                , getLoc
                                                , ideclName
                                                , moduleName
                                                , moduleNameString
@ -64,7 +63,6 @@ import           GHC.Types.Name.Reader          ( RdrName
                                                  , Unqual
                                                  )
                                                )
-import           GHC.Types.SourceText           ( SourceText(NoSourceText) )
 import qualified GHC.OldList                   as List
 import           GHC.Parser.Annotation          ( DeltaPos
                                                  ( DifferentLine
@ -90,7 +88,8 @@ import           Language.Haskell.Brittany.Internal.Types


 extractDeclMap :: GHC.ParsedSource -> Map GHC.RealSrcSpan [String]
-extractDeclMap modul = Map.fromList
+extractDeclMap modul =
+  Map.fromList
    [ ( case span of
          GHC.RealSrcSpan s _ -> s
          GHC.UnhelpfulSpan _ -> error "unexpected UnhelpfulSpan"
@ -141,7 +140,7 @@ splitModuleDecls lmod = do
  spanAfterImports <- do
    finalYield $ MEExactModuleHead moduleWithoutComments
    pure
-      $  maybe (0, 1) ExactPrint.ss2posEnd
+      $  maybe (0, 1) (ExactPrint.ss2posEnd)
      $  maximumMay
      $  [ GHC.anchor a
         | L a _ <- GHC.priorComments $ case hsModAnn' of
@ -275,10 +274,8 @@ instance Show ImportLine where
    SamelineComment{} -> "SamelineComment"
    NewlineComment{}  -> "NewlineComment"
    ImportStatement r ->
-      "ImportStatement "
-        ++ show (length $ commentsBefore r)
-        ++ " "
-        ++ show (length $ commentsAfter r)
+      "ImportStatement " ++ show (length $ commentsBefore r) ++ " " ++ show
+        (length $ commentsAfter r)

 data ImportStatementRecord = ImportStatementRecord
  { commentsBefore   :: [(Int, LEpaComment)]
@ -289,10 +286,8 @@ data ImportStatementRecord = ImportStatementRecord

 instance Show ImportStatementRecord where
  show r =
-    "ImportStatement "
-      ++ show (length $ commentsBefore r)
-      ++ " "
-      ++ show (length $ commentsAfter r)
+    "ImportStatement " ++ show (length $ commentsBefore r) ++ " " ++ show
+      (length $ commentsAfter r)


 transformToImportLine
@ -346,8 +341,7 @@ transformToImportLine startPos is =
  in
    flattenDecls is startPos

-data Partial
-  = PartialCommsOnly [(Int, LEpaComment)]
+data Partial = PartialCommsOnly [(Int, LEpaComment)]
             | PartialImport ImportStatementRecord

 groupifyImportLines :: [ImportLine] -> [ImportLine]
@ -358,7 +352,6 @@ groupifyImportLines ls = finalToList_ $ go (PartialCommsOnly []) ls
      finalYield $ NewlineComment comm
    PartialImport partialRecord ->
      finalYield $ ImportStatement $ unpartial partialRecord
-  go acc (EmptyLines 0 : lineR) = go acc lineR
  go acc (line1 : lineR) = do
    newAcc <- case acc of
      PartialCommsOnly comms -> case line1 of
@ -410,8 +403,18 @@ groupifyImportLines ls = finalToList_ $ go (PartialCommsOnly []) ls

 sortCommentedImports :: [ImportLine] -> [ImportLine]
 sortCommentedImports =
-  mergeGroups . map (fmap (combineImports . sortGroups)) . groupify
+  -- TODO92 we don't need this unpackImports, it is implied later in the process
+  mergeGroups . map (fmap (sortGroups)) . groupify
 where
+  -- unpackImports :: [ImportLine] -> [ImportLine]
+  -- unpackImports xs = xs >>= \case
+  --   l@EmptyLines{}      -> [l]
+  --   l@NewlineComment{}  -> [l]
+  --   l@SamelineComment{} -> [l]
+  --   ImportStatement r ->
+  --     map NewlineComment (commentsBefore r) ++ [ImportStatement r] ++ map
+  --       NewlineComment
+  --       (commentsAfter r)
  mergeGroups :: [Either ImportLine [ImportStatementRecord]] -> [ImportLine]
  mergeGroups xs = xs >>= \case
    Left  x -> [x]
@ -419,61 +422,6 @@ sortCommentedImports =
  sortGroups :: [ImportStatementRecord] -> [ImportStatementRecord]
  sortGroups = List.sortOn
    (moduleNameString . unLoc . ideclName . unLoc . importStatement)
-  combineImports :: [ImportStatementRecord] -> [ImportStatementRecord]
-  combineImports = go Nothing
-   where
-    go Nothing   []        = []
-    go (Just r1) []        = [r1]
-    go Nothing   (r2 : rs) = go (Just r2) rs
-    go (Just r1) (r2 : rs) = case (unpack r1, unpack r2) of
-      (Nothing, _      ) -> r1 : go (Just r2) rs
-      (_      , Nothing) -> r1 : go (Just r2) rs
-      (Just u1, Just u2) ->
-        let
-            (modName1, pkg1, src1, safe1, q1, alias1, mllies1) = u1
-            (modName2, pkg2, src2, safe2, q2, alias2, mllies2) = u2
-            inner1 = GHC.unLoc $ importStatement r1
-            mostThingsEqual =
-              modName1 == modName2
-                && pkg1 == pkg2
-                && src1 == src2
-                && safe1 == safe2
-                && ((q1 == GHC.NotQualified) == (q2 == GHC.NotQualified))
-                && (unLoc <$> alias1) == (unLoc <$> alias2)
-            merged explicits =
-              go
-                (Just ImportStatementRecord
-                  { commentsBefore   = commentsBefore r1 ++ commentsBefore r2
-                  , importStatement  =
-                    L (getLoc $ importStatement r1) GHC.ImportDecl
-                      { GHC.ideclExt       = GHC.ideclExt inner1
-                      , GHC.ideclSourceSrc = NoSourceText
-                      , GHC.ideclName      = GHC.ideclName inner1
-                      , GHC.ideclPkgQual   = pkg1
-                      , GHC.ideclSource    = src1
-                      , GHC.ideclSafe      = safe1
-                      , GHC.ideclQualified = q1
-                      , GHC.ideclImplicit  = False
-                      , GHC.ideclAs        = alias1
-                      , GHC.ideclHiding    = explicits
-                      }
-                  , commentsSameline = (  commentsSameline r1
-                                       ++ commentsSameline r2
-                                       )
-                  , commentsAfter    = commentsAfter r1 ++ commentsAfter r2
-                  }
-                )
-                rs
-        in  case (mostThingsEqual, mllies1, mllies2) of
-              (True, Nothing         , _               ) -> merged Nothing
-              (True, _               , Nothing         ) -> merged Nothing
-              (True, Just (False, l1), Just (False, l2)) -> merged
-                (Just (False, L (getLoc l1) (unLoc l1 ++ unLoc l2)))
-              _ -> r1 : go (Just r2) rs
-    unpack x = case unLoc $ importStatement x of
-      GHC.ImportDecl _ _ (L _ modName) pkg src safe q False alias mllies ->
-        Just (modName, pkg, src, safe, q, alias, mllies)
-      _ -> Nothing
  groupify :: [ImportLine] -> [Either ImportLine [ImportStatementRecord]]
  groupify cs = go [] cs
   where
@ -501,7 +449,7 @@ rdrNameToText (Exact name) = Text.pack $ getOccString name

 getDeclBindingNames :: GHC.LHsDecl GhcPs -> [String]
 getDeclBindingNames (L _ decl) = case decl of
-  GHC.SigD _ (GHC.TypeSig _ ns _) -> ns <&> \(L _ n) ->
-    Text.unpack (rdrNameToText n)
+  GHC.SigD _ (GHC.TypeSig _ ns _) ->
+    ns <&> \(L _ n) -> Text.unpack (rdrNameToText n)
  GHC.ValD _ (GHC.FunBind _ (L _ n) _ _) -> [Text.unpack $ rdrNameToText n]
  _ -> []
--- a/source/library/Language/Haskell/Brittany/Internal/ToBriDoc/Expr.hs
+++ b/source/library/Language/Haskell/Brittany/Internal/ToBriDoc/Expr.hs
@ -553,11 +553,10 @@ layoutExpr lexpr@(L _ expr) = do
              ]
            , docAlt
              [ docSeq
-                [ appSep $ wrapIn $ docLit $ Text.pack "in"
-                , ifIndentFreeElse ( docSetBaseAndIndent
-                                   . docEnsureIndent (BrIndentSpecial 1)
-                                   . docSetBaseAndIndent
-                                   )
+                [ appSep $ wrapIn $ docLit $ Text.pack $ ifIndentFreeElse
+                  "in "
+                  "in"
+                , ifIndentFreeElse docSetBaseAndIndent
                                   docForceSingleline
                                   expDoc1
                ]
@ -587,7 +586,6 @@ layoutExpr lexpr@(L _ expr) = do
                  )
                , docSeq
                  [ wrapIn $ docLit $ Text.pack "in "
-                  , docSeparator
                  , docAddBaseY BrIndentRegular $ docForceParSpacing expDoc1
                  ]
                ]
@ -601,9 +599,7 @@ layoutExpr lexpr@(L _ expr) = do
                ]
              , docSeq
                [ appSep $ wrapIn $ docLit $ Text.pack "in "
-                , docSetBaseY
-                  $ docEnsureIndent (BrIndentSpecial 1)
-                  $ docSetBaseY expDoc1
+                , docSetBaseY expDoc1
                ]
              ]
          addAlternative $ docLines
--- a/source/library/Language/Haskell/Brittany/Internal/ToBriDoc/OpTree.hs
+++ b/source/library/Language/Haskell/Brittany/Internal/ToBriDoc/OpTree.hs
@ -157,9 +157,8 @@ processOpTree (unknownTree, hasComments) = do
  enabled          <- askLayoutConf _lconfig_fixityAwareOps
  refactorMode     <- askLayoutConf _lconfig_operatorParenthesisRefactorMode
  allowOpUnqualify <- askLayoutConf _lconfig_operatorAllowUnqualify
-  unknownFixityHandling <- askLayoutConf _lconfig_unknownFixityHandling
  let (warns, balancedTree) = if enabled
-        then balanceOpTree unknownFixityHandling allowOpUnqualify unknownTree
+        then balanceOpTree allowOpUnqualify unknownTree
        else ([], unknownTree)
  mTell warns
  let processedTree = case refactorMode of
@ -183,7 +182,7 @@ layoutOpTree allowSinglelinePar = \case
                    sharedOps
                    sharedOps
                    docForceSingleline
-  OpKnown NoParen _ Nothing Nothing fixity treeL docOps
+  OpKnown NoParen Nothing Nothing fixity treeL docOps
    | Fixity _ (-1) _ <- fixity -> do
      dHead <- shareDoc $ layoutOpTree True treeL
      body  <- forM docOps $ \(op, arg) -> do
@ -210,7 +209,7 @@ layoutOpTree allowSinglelinePar = \case
              ]
          | (prefix, doc) <- body
          ]
-  OpKnown hasParen _ locO locC fixity treeL docOps -> do
+  OpKnown hasParen locO locC fixity treeL docOps -> do
    let Fixity _ _prec _ = fixity
    let flattenList ops = case ops of
          []           -> pure []
@ -225,7 +224,7 @@ layoutOpTree allowSinglelinePar = \case
            pure $ (pure op1, tree1Doc) : flattenRest
          _ -> simpleTransform ops
        flattenInner op = \case
-          OpKnown NoParen _ _ _ _ innerL innerOps | isPrec0 fixity -> do
+          OpKnown NoParen _ _ _ innerL innerOps | isPrec0 fixity -> do
            flattenList ((op, innerL) : innerOps)
          tree -> do
            treeDoc <- shareDoc $ layoutOpTree True tree
--- a/source/library/Language/Haskell/Brittany/Internal/ToBriDoc/Type.hs
+++ b/source/library/Language/Haskell/Brittany/Internal/ToBriDoc/Type.hs
@ -103,7 +103,6 @@ splitArrowType ltype@(L _ typ) = case typ of
    (headPart, restParts) <- splitArrowType inner
    pure
      ( OpKnown ParenWithSpace
-                False
                (Just $ epaLocationRealSrcSpanStart spanOpen)
                (Just $ epaLocationRealSrcSpanStart spanClose)
                (Fixity NoSourceText (-1) InfixN)
@ -170,7 +169,6 @@ layoutSplitArrowType (headPart, restParts) hasComments = do
  layouters <- mAsk
  let opTree =
        OpKnown NoParen
-                False
                Nothing
                Nothing
                (Fixity NoSourceText (-1) InfixN)
--- a/source/library/Language/Haskell/Brittany/Internal/Types.hs
+++ b/source/library/Language/Haskell/Brittany/Internal/Types.hs
@ -173,7 +173,6 @@ data OpTree
              OpTree -- left operand
              [(BriDocNumbered, OpTree)] -- list of (next operand, symbol)
  | OpKnown OpParenMode     -- with paren?
-              Bool            -- allow non-whitespace transforms
              (Maybe GHC.RealSrcLoc) -- paren open loc
              (Maybe GHC.RealSrcLoc) -- paren close loc
            GHC.Fixity   -- only Just after (successful!) lookup phase
--- a/source/library/Language/Haskell/Brittany/Internal/WriteBriDoc/Operators.hs
+++ b/source/library/Language/Haskell/Brittany/Internal/WriteBriDoc/Operators.hs
@ -143,7 +143,7 @@ layoutWriteComment absolute isBlock dp commentLines s = do
    ' '
  mTell $ Text.Builder.fromText s
  traceLocal
-    ( "layoutWriteComment"
+    ( "layoutMoveToCommentPos"
    , y
    , x
    , commentLines
--- a/source/test-suite/Main.hs
+++ b/source/test-suite/Main.hs
@ -326,7 +326,6 @@ defaultTestConfig = Config
    , _lconfig_allowSinglelineRecord           = coerce False
    , _lconfig_fixityAwareOps                  = coerce True
    , _lconfig_fixityAwareTypeOps              = coerce True
-    , _lconfig_unknownFixityHandling           = coerce UFHSafeWarn
    , _lconfig_fixityBasedAddAlignParens       = coerce False
    , _lconfig_operatorParenthesisRefactorMode = coerce PRMKeep
    , _lconfig_operatorAllowUnqualify          = coerce True