Skip to content

Revert Definitions Changes #6962

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

Closed
wants to merge 5 commits into from

Conversation

odersky
Copy link
Contributor

@odersky odersky commented Jul 29, 2019

The simplifications in Definitions caused a big drop in performance. Reverting bit by bit to see what caused it.

@odersky
Copy link
Contributor Author

odersky commented Jul 29, 2019

test performance please

@odersky
Copy link
Contributor Author

odersky commented Jul 29, 2019

test performance please: 2b2a6a1 3c448af

@dottybot
Copy link
Member

performance test scheduled for 2b2a6a1 3c448af: 1 job(s) in queue, 0 running.

@dottybot
Copy link
Member

Performance test finished successfully:

Visit http://dotty-bench.epfl.ch/6962/ to see the changes.

Benchmarks is based on merging with master (0b52037)

@odersky
Copy link
Contributor Author

odersky commented Aug 2, 2019

We have to decide between this PR and #6965.

@odersky odersky closed this Aug 2, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants