Skip to content
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

Use Mul by reference in pow #334

Merged
merged 3 commits into from
Sep 21, 2017
Merged

Use Mul by reference in pow #334

merged 3 commits into from
Sep 21, 2017

Conversation

cuviper
Copy link
Member

@cuviper cuviper commented Sep 21, 2017

Resubmission of #153, since it wasn't open to maintainer edits. I added a distinct Float::powi fallback since that doesn't have Mul by reference.

cc @dten

dten and others added 3 commits September 21, 2017 12:17
The main `pow` now uses `Mul` by reference, but there's not a good way
to propagate that requirement from `Float`.
... which was implied by `One` already anyway.
@cuviper
Copy link
Member Author

cuviper commented Sep 21, 2017

bors r+

bors bot added a commit that referenced this pull request Sep 21, 2017
334: Use `Mul` by reference in `pow` r=cuviper a=cuviper

Resubmission of #153, since it wasn't open to maintainer edits.  I added a distinct `Float::powi` fallback since that doesn't have `Mul` by reference.

cc @dten
@bors
Copy link
Contributor

bors bot commented Sep 21, 2017

Build succeeded

@dten
Copy link
Contributor

dten commented Sep 21, 2017

Shame i lost my commit contribute but oh well. Thanks

@cuviper
Copy link
Member Author

cuviper commented Sep 21, 2017

Your commit still has you as the author, just me as the committer since I rebased it. Is that what you mean?

@dten
Copy link
Contributor

dten commented Sep 21, 2017

Doesn't show in contributors for some reason. No idea how github makes those stats. Doesn't matter i just like numbers against my name haha

@cuviper
Copy link
Member Author

cuviper commented Sep 21, 2017

Oh, I think that's just because it's not on master. :)

@dten
Copy link
Contributor

dten commented Sep 22, 2017

Ahh. The wait begins

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