Multiline if expression with multiline infix operations

[nojaf]

Issue created from fantomas-online

Code

            if hasClassAttr && not (match k with SynTypeDefnKind.Class -> true | _ -> false) || 
               hasMeasureAttr && not (match k with SynTypeDefnKind.Class | SynTypeDefnKind.Abbrev | SynTypeDefnKind.Opaque -> true | _ -> false) || 
               hasInterfaceAttr && not (match k with SynTypeDefnKind.Interface -> true | _ -> false) || 
               hasStructAttr && not (match k with SynTypeDefnKind.Struct | SynTypeDefnKind.Record | SynTypeDefnKind.Union -> true | _ -> false) then 
                error(Error(FSComp.SR.tcKindOfTypeSpecifiedDoesNotMatchDefinition(), m))
            k

Result

if hasClassAttr
   && not (
       match k with
       | SynTypeDefnKind.Class -> true
       | _ -> false
   )
   || hasMeasureAttr
      && not (
          match k with
          | SynTypeDefnKind.Class
          | SynTypeDefnKind.Abbrev
          | SynTypeDefnKind.Opaque -> true
          | _ -> false
      )
   || hasInterfaceAttr
      && not (
          match k with
          | SynTypeDefnKind.Interface -> true
          | _ -> false
      )
   || hasStructAttr
      && not (
          match k with
          | SynTypeDefnKind.Struct
          | SynTypeDefnKind.Record
          | SynTypeDefnKind.Union -> true
          | _ -> false
      ) then
    error (Error(FSComp.SR.tcKindOfTypeSpecifiedDoesNotMatchDefinition (), m))

k

Problem description

The not ( ) should be formatted differently to avoid the warnings.

Extra information

• The formatted result breaks by code.
• The formatted result gives compiler warnings.
• I or my company would be willing to help fix this.

Options

Fantomas Master at 06/09/2021 15:42:35 - a79ebea

Default Fantomas configuration

_{Did you know that you can ignore files when formatting from fantomas-tool or the FAKE targets by using a .fantomasignore file?}

[chausner]

Encountered a similar case in my code base:

let someFunction _ = 0
let someLongVariable = []

if not (someLongVariable |> List.contains (someFunction xy)) then
    ()

gets formatted to

let someFunction _ = 0
let someLongVariable = []

if
    not
        (
            someLongVariable
            |> List.contains (someFunction xy)
        )
then
    ()

[nojaf]

This problem doesn't occur anymore after #2334.
We can close this after adding a regression test.