git.iko.soy/Idris-dev
on 7afa310 help sign in
Idris-dev/test/primitives002/run
52 lines 1.0 kB history raw
1#!/usr/bin/env bash
3HEAD="module Main
5import Data.Floats
7strtake : Nat -> String -> String
8strtake n str = pack (take n (unpack str))
10main : IO ()"
12TESTS=("prim__floatToStr 0.0"
13"prim__strToFloat \"0.0\""
14"prim__addFloat 1.0 1.0"
15"prim__subFloat 1.0 1.0"
16"prim__mulFloat 1.0 1.0"
17"prim__divFloat 1.0 1.0"
18"prim__slteFloat 1.0 1.0"
19"prim__sltFloat 1.0 1.0"
20"prim__sgteFloat 1.0 1.0"
21"prim__sgtFloat 1.0 1.0"
22"prim__eqFloat 1.0 1.0"
23"prim__floatACos 1.0"
24"prim__floatATan 1.0"
25"prim__floatCos 1.0"
26"prim__floatFloor 1.0"
27"prim__floatSin 1.0"
28"prim__floatTan 1.0"
29"prim__floatASin 1.0"
30"prim__floatCeil 1.0"
31"prim__floatExp 1.0"
32"prim__floatLog 1.0"
33"prim__floatSqrt 1.0"
34"prim__negFloat 1.0"
37generate_testfile()
39cat <<EOF > $1
40${HEAD}
41main = putStrLn $ strtake 10 (show $ $2)
42EOF
45for T in "${TESTS[@]}"
46do
47 echo ${T}
48 generate_testfile "tmptest.idr" "${T}"
49 idris $@ --quiet tmptest.idr -o tmptest || echo "missing primitive in ${CG}"
50 ./tmptest
51 rm tmptest.idr tmptest.ibc tmptest
52done