git.iko.soy/Idris-dev
on d66da21 help sign in
Idris-dev/test/test034/run
49 lines 907 B history raw
1#!/usr/bin/env bash
3HEAD="module Main
5import Data.Float
7main : IO ()"
9TESTS=("prim__floatToStr 0.0"
10"prim__strToFloat \"0.0\""
11"prim__addFloat 1.0 1.0"
12"prim__subFloat 1.0 1.0"
13"prim__mulFloat 1.0 1.0"
14"prim__divFloat 1.0 1.0"
15"prim__slteFloat 1.0 1.0"
16"prim__sltFloat 1.0 1.0"
17"prim__sgteFloat 1.0 1.0"
18"prim__sgtFloat 1.0 1.0"
19"prim__eqFloat 1.0 1.0"
20"prim__floatACos 1.0"
21"prim__floatATan 1.0"
22"prim__floatCos 1.0"
23"prim__floatFloor 1.0"
24"prim__floatSin 1.0"
25"prim__floatTan 1.0"
26"prim__floatASin 1.0"
27"prim__floatCeil 1.0"
28"prim__floatExp 1.0"
29"prim__floatLog 1.0"
30"prim__floatSqrt 1.0"
33generate_testfile()
35cat <<EOF > $1
36${HEAD}
37main = do
38 putStrLn $ show $ $2
39EOF
42for T in "${TESTS[@]}"
43do
44 echo ${T}
45 generate_testfile "tmptest.idr" "${T}"
46 idris $@ --quiet tmptest.idr -o tmptest || echo "missing primitive in ${CG}"
47 ./tmptest
48 rm tmptest.idr tmptest.ibc tmptest
49done