Skip to content

Fix #7512: Add regression test #9204

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 1 commit into from

Conversation

nicolasstucki
Copy link
Contributor

Now it takes around 1 minute to compile instead of 20+ minutes.

Now it takes around 1 minute to compile instead of 20+ minutes.
@nicolasstucki
Copy link
Contributor Author

@liufengyun this might be a good candidate for a benchmark. Could you add it?

@liufengyun
Copy link
Contributor

@liufengyun this might be a good candidate for a benchmark. Could you add it?

I'll add that.

@nicolasstucki
Copy link
Contributor Author

The underlying issue is still there if we increase any number in testProd(2, 3). The benchmark will me a better way to track progress or regression on this issue.

@liufengyun
Copy link
Contributor

The underlying issue is still there if we increase any number in testProd(2, 3). The benchmark will me a better way to track progress or regression on this issue.

Maybe put it under tests/bench/?

@nicolasstucki
Copy link
Contributor Author

Will do

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.

Infinite loop for given ev with match types on dependently typed method args
2 participants