Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Comments at the end of async blocks are deleted automatically. #936

Closed
3 tasks
psb opened this issue Jun 30, 2020 · 1 comment
Closed
3 tasks

Comments at the end of async blocks are deleted automatically. #936

psb opened this issue Jun 30, 2020 · 1 comment

Comments

@psb
Copy link

psb commented Jun 30, 2020

Issue created from fantomas-online

Code

let browser =
    async { 
        do! Async.Sleep 5000 
        // openBrowser "http://localhost:8000"
    }

Result

let browser = async { do! Async.Sleep 5000 }

Problem description

Comments at the end of async blocks are automatically deleted upon formatting, which is not expected. (Comments at the beginning of blocks are not deleted.)

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/30/2020 07:24:01 - dcc70c3

Name Value
IndentSpaceNum 4
PageWidth 120
SemicolonAtEndOfLine false
SpaceBeforeParameter true
SpaceBeforeLowercaseInvocation true
SpaceBeforeUppercaseInvocation false
SpaceBeforeClassConstructor false
SpaceBeforeMember false
SpaceBeforeColon false
SpaceAfterComma true
SpaceBeforeSemicolon false
SpaceAfterSemicolon true
IndentOnTryWith false
SpaceAroundDelimiter true
MaxIfThenElseShortWidth 40
MaxInfixOperatorExpression 50
MaxRecordWidth 40
MaxArrayOrListWidth 40
MaxValueBindingWidth 40
MaxFunctionBindingWidth 40
MultilineBlockBracketsOnSameColumn false
NewlineBetweenTypeDefinitionAndMembers false
KeepIfThenInSameLine false
MaxElmishWidth 40
SingleArgumentWebMode false
StrictMode false
@psb psb changed the title comments at the end of astnc blocks are deleted automatically Comments at the end of async blocks are deleted automatically. Jun 30, 2020
@psb
Copy link
Author

psb commented Jun 30, 2020

I've just realised that this is the same as issue #932, so I'll close this one.

@psb psb closed this as completed Jun 30, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

1 participant