Skip to content

Add back constructor to ProjectExternalErrorReporter#36328

Merged
JoeRobich merged 2 commits intorelease/dev16.2-preview3from
dev/jorobich/readd-constructor
Jun 11, 2019
Merged

Add back constructor to ProjectExternalErrorReporter#36328
JoeRobich merged 2 commits intorelease/dev16.2-preview3from
dev/jorobich/readd-constructor

Conversation

@JoeRobich
Copy link
Copy Markdown
Member

This constructor is still used by F#.

@JoeRobich JoeRobich requested a review from a team as a code owner June 11, 2019 17:53
Copy link
Copy Markdown
Member

@tmat tmat left a comment

Choose a reason for hiding this comment

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

Could you please file an issue to follow up and update F#?

Copy link
Copy Markdown
Member

@jasonmalinowski jasonmalinowski left a comment

Choose a reason for hiding this comment

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

Code looks fine but I'm not entirely familiar with the refactoring that was done so I can't speak to correctness, but if it works then that's enough for me. 😄

@JoeRobich
Copy link
Copy Markdown
Member Author

Could you please file an issue to follow up and update F#?

@tmat Opened dotnet/fsharp#6981 to track its removal

@JoeRobich JoeRobich force-pushed the dev/jorobich/readd-constructor branch from 9c14708 to a90250f Compare June 11, 2019 20:39
@JoeRobich JoeRobich merged commit 47c8c51 into release/dev16.2-preview3 Jun 11, 2019
@JoeRobich JoeRobich deleted the dev/jorobich/readd-constructor branch June 12, 2019 22:27
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.

6 participants