These are chat archives for Microsoft/CodeContracts

27th
Jul 2015
Sergey Teplyakov
@SergeyTeplyakov
Jul 27 2015 04:35
@Zoltu This is known issue with installer. For now, just ignore this notification, 1.9 is the latest version
Sam Harwell
@sharwell
Jul 27 2015 20:46
@JohanLarsson In #175, the change in binaries you saw was the removal of ~50 binaries already in source control. I did not add any new binaries with this PR.
Johan Larsson
@JohanLarsson
Jul 27 2015 20:46
ok
will CC be integrated in VS?
Sam Harwell
@sharwell
Jul 27 2015 20:49
It's a separate tool that you install, but it does integrate with VS.
Johan Larsson
@JohanLarsson
Jul 27 2015 20:51
do you use it for all things?
I have only tired it, had some issues with building in tfs but did not spend any time on it
Sam Harwell
@sharwell
Jul 27 2015 20:53
I used it for one project fairly extensively. Over time I moved away from it.
Johan Larsson
@JohanLarsson
Jul 27 2015 20:54
why? slow builds?
Sam Harwell
@sharwell
Jul 27 2015 20:55
slow builds, build server issues, no edit and continue, and when you're debugging the IDE doesn't know about any using declarations you have in the current file so you have to fully-qualify all your type names.
I still use it in VSBase, and even ship the contract assemblies as part of the NuGet packaging
Johan Larsson
@JohanLarsson
Jul 27 2015 20:58
do you know why the download has the same filename every time?
would meka sense with version number
Sam Harwell
@sharwell
Jul 27 2015 21:01
The worst impact of "Slow builds" is the rewriter interferes with the C# compiler's understanding of "up-to-date" when you are working with a VSIX, so every build requires the VSIX project to build and be rewritten again. ~5 seconds per extension, and LangSvcV2 had ~12 extension projects.
The bug may have been in the old native compiler. I haven't tried the same thing with the Roslyn compiler yet.
Johan Larsson
@JohanLarsson
Jul 27 2015 21:02
will cc benefit much from roslyn?
Sam Harwell
@sharwell
Jul 27 2015 21:03

do you know why the download has the same filename every time?

Since the project was only recently exposed to the community, we're so focused on what that any question of why is answered with "because that's how it is."

will cc benefit much from roslyn?

Hard to say. There is serious potential for analyzers/code fixes to integrate with usage of the Contract class. Work was started on it, but it was implemented against a very old (and very different) API that later became what we know as Roslyn.

It would be a lot of work, and this project is heavy on theoretical CS topics which potentially limits the number of contributors who would be interested in making changes to it. It also has an enormous amount of legacy code and/or code written for systems that don't really exist (e.g. Spec#).
Johan Larsson
@JohanLarsson
Jul 27 2015 21:13
i ran into a big mess when refactoring today
someone had written a god service
i know who but that is no help