Skip to content

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