Merge dev16.0 to dev16.1 #6199
Merged
Merge dev16.0 to dev16.1 #6199
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
* Update FSharp.Core package to 4.6.1, Fix product version (* AssemblyVersion of compiler binaries *) and remove trailing '.' from githash. * Update ci_part4 * signtool data * address test
* Do not store union case compiled name * Update test data to report only case name range
* Do not notify env sink about base constructor (fixes #3699) * Extract function
#6168) * Cleanup some project stuff, and Ensure that Templates vsix contains newly built FSharp.Core nuget package. * ignore * Feedback
* Symbols * tweaks
* Convert PDBS for portable PDBS * Typo * Tweaks
* Fixed address issue on struct records by unifying types earlier * Creating local after UnifyTypes
* Don't suggest names for errors in normal IDE usage * Remove flag from parsing and project opens * Move flag into FSharpChecker * Suggest names based on symbols in the current document * Cleanup and turn on code fix by default * Use declarationlistinfo as a source for suggesting names * Reduce diff
dotnet-bot
force-pushed
the
merges/dev16.0-to-dev16.1
branch
from
278b9d9 to
da89b7f
Compare
ghost
merged commit
This pull request was closed.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
This is an automatically generated pull request from dev16.0 into dev16.1.
git fetch --all git checkout merges/dev16.0-to-dev16.1 git reset --hard upstream/dev16.1 git merge upstream/dev16.0 # Fix merge conflicts git commit git push upstream merges/dev16.0-to-dev16.1 --forceOnce all conflicts are resolved and all the tests pass, you are free to merge the pull request.