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

Mark loop breaker as INLINABLE rather than INLINE #40

Closed
wants to merge 10 commits into from

Conversation

mpickering
Copy link

This prevents a lot of noisy warnings when building GHC.

@cartazio
Copy link
Contributor

cartazio commented Oct 5, 2016

Will do a merge and bugfix release for this. Maybe today!

Been a bit buried but v2 work is nearing the top of the queue :)

On Tuesday, October 4, 2016, Matthew Pickering notifications@github.com
wrote:

This prevents a lot of noisy warnings when building GHC.

You can view, comment on, or merge this pull request online at:

#40
Commit Summary

  • Mark loop breaker as INLINABLE rather than INLINE

File Changes

Patch Links:


You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
#40, or mute the thread
https://github.com/notifications/unsubscribe-auth/AAAQwvja7OV7PQG2C4tMJ2j4MGsFnTb_ks5qwg3ZgaJpZM4KNahM
.

@cartazio
Copy link
Contributor

cartazio commented Feb 20, 2018 via email

curiousleo added a commit to curiousleo/random that referenced this pull request May 5, 2020
cartazio pushed a commit that referenced this pull request May 19, 2020
@lehins
Copy link
Contributor

lehins commented Jun 23, 2020

Thank you @mpickering This function is gone though and we now have a different implementation of floating point random number generation. See #62

@lehins lehins closed this Jun 23, 2020
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.

8 participants