Format entire return type on the line

[nojaf]

Issue created from fantomas-online

Code

namespace TypeEquality

[<RequireQualifiedAccess>]
module Teq =

    [<RequireQualifiedAccess>]
    module Cong =
        
        val domainOf<'domain1, 'domain2, 'range1, 'range2> : Teq<'domain1 -> 'range1, 'domain2 -> 'range2>
             -> Teq<'domain1, 'domain2>

Result

namespace TypeEquality

[<RequireQualifiedAccess>]
module Teq =

    [<RequireQualifiedAccess>]
    module Cong =

        val domainOf<'domain1, 'domain2, 'range1, 'range2> : Teq<'domain1 -> 'range1, 'domain2 -> 'range2>
             -> Teq<'domain1, 'domain2>

Problem description

        val domainOf<'domain1, 'domain2, 'range1, 'range2> : 
            Teq<'domain1 -> 'range1, 'domain2 -> 'range2> 
            -> Teq<'domain1, 'domain2>

would look nicer in this case.

//cc @Smaug123

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 10/02/2020 09:38:04 - a241023

Default Fantomas configuration