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

Sync main to nightly to get ProjInfo updates and codefixes #1272

Closed
wants to merge 11 commits into from

Conversation

baronfel
Copy link
Contributor

No description provided.

brianrourkeboll and others added 11 commits March 19, 2024 07:56
* Shift multiline paren contents less aggressively

* Make it actually work

* Disambiguate AsSpan overload
* Migrate FAKE to Fun.Build

* Add default Build pipeline.
* fix unicode chars in F# compiler diagnostic messages

* fix typo in ShadowedTimeouts focused tests

* fixup! fix unicode chars in F# compiler diagnostic messages

* remove focused tests...

* remove debug prints

Co-authored-by: Jimmy Byrd <[email protected]>

---------

Co-authored-by: Jimmy Byrd <[email protected]>
- remove an ignored instance of StreamJsonRpcTracingStrategy
DeclarationListItem *
Position *
string<LocalPath> *
(Position -> option<string>) *

Check notice

Code scanning / Ionide.Analyzers.Cli

Detect if generic type should be in the postfix position. Note

Prefer postfix syntax for options.
@baronfel
Copy link
Contributor Author

closing this in favor of another PR because I am dumb

@baronfel baronfel closed this Apr 23, 2024
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

Successfully merging this pull request may close these issues.

6 participants