Add MPFR trans functions #249
Merged
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
rsoeldner
force-pushed
the
rsoeldner/mpfr
branch
from
ab4080a
to
a8d46d0
Compare
|
I actually want to get #250 in before this one. Essentially: I am still tweaking gas a bit, and that PR allows for gassing |
jmcardon
force-pushed
the
rsoeldner/mpfr
branch
from
0c88323
to
65d101a
Compare
jmcardon
force-pushed
the
rsoeldner/mpfr
branch
from
65d101a
to
95e5b99
Compare
jmcardon
approved these changes
Oct 15, 2024
| let result = Musl.trans_logBase (dec2F base) (dec2F arg) | ||
| guardNanOrInf info result | ||
| returnCEKValue cont handler (VLiteral (LDecimal (f2Dec result))) | ||
| result <- guardNanOrInf info $ MPFR.mpfr_log base arg |
| args -> argsError info b args | ||
| where | ||
| checkArgAndCompute n = do | ||
| when (n <= 0) $ throwExecutionError info (ArithmeticException "Natural logarithm must be greater then 0") |
rsoeldner
force-pushed
the
rsoeldner/mpfr
branch
from
7347f0f
to
11fa505
Compare
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Based on https://github.com/kadena-io/pact/pull/1045/files#diff-9619507e39a18e5493fafa72986db085aebadb61dc76aac3396fc34e30d38623
PR checklist:
Additionally, please justify why you should or should not do the following: