Skip to content

C#: Fix performance issue in unification library#3574

Merged
calumgrant merged 1 commit into
github:masterfrom
hvitved:csharp/unification-performance
May 28, 2020
Merged

C#: Fix performance issue in unification library#3574
calumgrant merged 1 commit into
github:masterfrom
hvitved:csharp/unification-performance

Conversation

@hvitved

@hvitved hvitved commented May 27, 2020

Copy link
Copy Markdown
Contributor

This fixes a performance regression introduced on #3351. CSharp-Differences job here.

@hvitved hvitved added the C# label May 27, 2020
@hvitved hvitved requested a review from a team as a code owner May 27, 2020 13:30

@calumgrant calumgrant left a comment

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

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

Great debugging - and thanks for the offline explanation. (We don't need to handle TupleType as we use the underlying type.)

@calumgrant calumgrant merged commit 725a8f5 into github:master May 28, 2020
@hvitved hvitved deleted the csharp/unification-performance branch May 28, 2020 09:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants