diff options
author | Björn Gustavsson <[email protected]> | 2016-06-27 12:54:04 +0200 |
---|---|---|
committer | Björn Gustavsson <[email protected]> | 2016-09-05 11:49:13 +0200 |
commit | 6d40cfd77f1d2f1e1403e4b41c0b53ae6499ea11 (patch) | |
tree | 774f51ba146c2b172b73bf778c6d8e820d0a0d9c /lib/compiler/src/beam_validator.erl | |
parent | 986d32a62b20c32338dac4dfd27c141c8f9be0fe (diff) | |
download | otp-6d40cfd77f1d2f1e1403e4b41c0b53ae6499ea11.tar.gz otp-6d40cfd77f1d2f1e1403e4b41c0b53ae6499ea11.tar.bz2 otp-6d40cfd77f1d2f1e1403e4b41c0b53ae6499ea11.zip |
Add math:floor/1 and math:ceil/1
Add math:floor/1 and math:ceil/1 to avoid unnecessary conversions
in floating point expressions. That is, instead of having to write
float(floor(X)) as part of a floating point expressions, we can
write simply math:floor(X).
Diffstat (limited to 'lib/compiler/src/beam_validator.erl')
-rw-r--r-- | lib/compiler/src/beam_validator.erl | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/lib/compiler/src/beam_validator.erl b/lib/compiler/src/beam_validator.erl index fd340bdabc..61aea57906 100644 --- a/lib/compiler/src/beam_validator.erl +++ b/lib/compiler/src/beam_validator.erl @@ -1642,6 +1642,8 @@ return_type_math(log10, 1) -> {float,[]}; return_type_math(sqrt, 1) -> {float,[]}; return_type_math(atan2, 2) -> {float,[]}; return_type_math(pow, 2) -> {float,[]}; +return_type_math(ceil, 1) -> {float,[]}; +return_type_math(floor, 1) -> {float,[]}; return_type_math(pi, 0) -> {float,[]}; return_type_math(F, A) when is_atom(F), is_integer(A), A >= 0 -> term. |