git.iko.soy/Idris-dev
on master help sign in
Truncate results in primitives002 test
86bf04cEdwin Brady
test/primitives002/expected+6−6
compare with master
unifiedsplit
@@ -23,21 +23,21 @@ prim__eqFloat 1.0 1.0
23prim__floatACos 1.0
23prim__floatACos 1.0
240.0
240.0
25prim__floatATan 1.0
25prim__floatATan 1.0
26−0.7853981633974483
26+0.78539816
27prim__floatCos 1.0
27prim__floatCos 1.0
28−0.5403023058681398
28+0.54030230
29prim__floatFloor 1.0
29prim__floatFloor 1.0
301.0
301.0
31prim__floatSin 1.0
31prim__floatSin 1.0
32−0.8414709848078965
32+0.84147098
33prim__floatTan 1.0
33prim__floatTan 1.0
34−1.5574077246549023
34+1.55740772
35prim__floatASin 1.0
35prim__floatASin 1.0
36−1.5707963267948966
36+1.57079632
37prim__floatCeil 1.0
37prim__floatCeil 1.0
381.0
381.0
39prim__floatExp 1.0
39prim__floatExp 1.0
40−2.718281828459045
40+2.71828182
41prim__floatLog 1.0
41prim__floatLog 1.0
420.0
420.0
43prim__floatSqrt 1.0
43prim__floatSqrt 1.0
test/primitives002/run+4−2
@@ -4,6 +4,9 @@ HEAD="module Main
4
4
5import Data.Floats
5import Data.Floats
6
6
7+strtake : Nat -> String -> String
8+strtake n str = pack (take n (unpack str))
9+
7main : IO ()"
10main : IO ()"
8
11
9TESTS=("prim__floatToStr 0.0"
12TESTS=("prim__floatToStr 0.0"
@@ -34,8 +37,7 @@ generate_testfile()
34{
37{
35cat <<EOF > $1
38cat <<EOF > $1
36${HEAD}
39${HEAD}
37−main = do
38− putStrLn $ show $ $2
40+main = putStrLn $ strtake 10 (show $ $2)
39EOF
41EOF
40}
42}
41
43