git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/primitives002/expected
46 lines 614 B history raw
1prim__floatToStr 0.0
2"0.0"
3prim__strToFloat "0.0"
40.0
5prim__addFloat 1.0 1.0
62.0
7prim__subFloat 1.0 1.0
80.0
9prim__mulFloat 1.0 1.0
101.0
11prim__divFloat 1.0 1.0
121.0
13prim__slteFloat 1.0 1.0
15prim__sltFloat 1.0 1.0
17prim__sgteFloat 1.0 1.0
19prim__sgtFloat 1.0 1.0
21prim__eqFloat 1.0 1.0
23prim__floatACos 1.0
240.0
25prim__floatATan 1.0
260.78539816
27prim__floatCos 1.0
280.54030230
29prim__floatFloor 1.0
301.0
31prim__floatSin 1.0
320.84147098
33prim__floatTan 1.0
341.55740772
35prim__floatASin 1.0
361.57079632
37prim__floatCeil 1.0
381.0
39prim__floatExp 1.0
402.71828182
41prim__floatLog 1.0
420.0
43prim__floatSqrt 1.0
441.0
45prim__negFloat 1.0
46-1.0