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

WIP: Unify projects and misc cleanups. #307

Closed
wants to merge 26 commits into from

Conversation

baronfel
Copy link
Contributor

@baronfel baronfel commented Aug 18, 2018

The first two commits fix up some usage of ConcurrentDictionary (direct indexing is bad, mmkayyy?) and use a verbosity parameter when the project cracker supports it.

The third one is a bit of WIP that might be useful for chaining Async cancellations.

4-7 are the big deal: unifying the net/netcore versions of the project into a shared set of project files.
References are conditionally included, thanks to paket's groups and framework scoping, and defines are conditionally-enabled as well.

Krzysztof-Cieslak and others added 26 commits July 28, 2018 19:55
We detect the indentation size and position in order to remove meaningless spaces.

We also add support for the same tags as in Ionide formatting process.

Added tag:
- remarks
- typeparam
* add new vs2017 f# binary paths and probe them first

* add msbuild probing changes, and add 10.1 to the list of legacy f# version probes

* comments explaining locations

* remove unclear comments

* try to fix travis build on netcore by specifying frameworkpathoverride
@baronfel
Copy link
Contributor Author

Closes #284

@baronfel
Copy link
Contributor Author

something fishy is up with the builds, I get similar errors for all my PRs. we should probably have a come-to-jesus/refactor around the CI situation for this repo.

@@ -20,6 +20,7 @@
]
}
}
[Debug] TryGetCompletions took 122.916000ms
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This probably should be filtered out since it will always break the tooling.

@@ -1,14 +0,0 @@
{
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

not restored test has been really problematic for a while, I'd be OK with just removing it

@rojepp rojepp mentioned this pull request Sep 28, 2018
@baronfel
Copy link
Contributor Author

There have been large changes in the repo since then, I'll close this effort so as to not discourage others.

@baronfel baronfel closed this Jan 10, 2019
@baronfel baronfel deleted the misc-cleanups branch October 21, 2021 16:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants