Skip to content

Conversation

@amcasey
Copy link
Member

@amcasey amcasey commented Nov 11, 2015

...to ensure we don't reuse values that could have been emitted by dev12.

Fixes internal bug 163613.

@amcasey
Copy link
Member Author

amcasey commented Nov 11, 2015

FYI @tmat @dotnet/roslyn-interactive @cston @DiryBoy

Copy link
Contributor

Choose a reason for hiding this comment

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

Minor point: Consider [Obsolete] instead rather than long, repeated error message.

Copy link
Member

Choose a reason for hiding this comment

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

+1. Just remove the message. Once somebody hits this they'll read the comment

@cston
Copy link
Contributor

cston commented Nov 11, 2015

LGTM

@tmat
Copy link
Member

tmat commented Nov 11, 2015

👍

...to ensure we don't reuse values that could have been emitted by dev12.

Fixes internal bug 163613.
@amcasey amcasey force-pushed the DeprecatedGeneratedNameKinds branch from 657578b to cc5685d Compare November 11, 2015 19:43
amcasey added a commit that referenced this pull request Nov 11, 2015
Introduce placeholders for deprecated GeneratedNameKinds
@amcasey amcasey merged commit 262b37b into dotnet:master Nov 11, 2015
@amcasey amcasey deleted the DeprecatedGeneratedNameKinds branch November 11, 2015 20:46
@pawchen
Copy link
Contributor

pawchen commented Nov 11, 2015

Thanks!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

5 participants