language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-11-27 14:16:10 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Add NaN and Infinity floating-point values to Num

Browse source
This commit is contained in:
Andy Ferris 2024-05-03 19:19:19 +10:00
parent f7011c8e33
commit a0c4bb571f
1 changed files with 20 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

20
crates/compiler/builtins/roc/Num.roc
View file

@ -155,6 +155,10 @@ module [
f64ToParts, f64ToParts,
f32FromParts, f32FromParts,
f64FromParts, f64FromParts,
nanF32,
nanF64,
infinityF32,
infinityF64,
] ]
import Bool exposing [Bool] import Bool exposing [Bool]
@ -1433,3 +1437,19 @@ f32FromParts : { sign : Bool, exponent : U8, fraction : U32 } -> F32
## The fraction should not be bigger than 0x000F_FFFF_FFFF_FFFF, any bigger value will be truncated. ## The fraction should not be bigger than 0x000F_FFFF_FFFF_FFFF, any bigger value will be truncated.
## The exponent should not be bigger than 0x07FF, any bigger value will be truncated. ## The exponent should not be bigger than 0x07FF, any bigger value will be truncated.
f64FromParts : { sign : Bool, exponent : U16, fraction : U64 } -> F64 f64FromParts : { sign : Bool, exponent : U16, fraction : U64 } -> F64
## The value for not-a-number for a [F32] according to the IEEE 754 standard.
nanF32 : F32
nanF32 = 0.0f32 / 0.0
## The value for not-a-number for a [F64] according to the IEEE 754 standard.
nanF64 : F64
nanF64 = 0.0f64 / 0.0
## The value for infinity for a [F32] according to the IEEE 754 standard.
infinityF32 : F32
infinityF32 = 1.0f32 / 0.0
## The value for infinity for a [F64] according to the IEEE 754 standard.
infinityF64 : F64
infinityF64 = 1.0f64 / 0.0