git.iko.soy/Idris-dev
on ebbae35 help sign in
Idris-dev/test/primitives002/run
54 lines 1.3 kB history raw
1#!/usr/bin/env bash
3HEAD='module Main
5strtake : Nat -> String -> String
6strtake n str = pack (take n (unpack str))
8getf : IO Double
9getf = map cast getLine
11main : IO ()'
13# code separated from input with '#'
14TESTS=('prim__floatToStr !getf#0.0'
15 'prim__strToFloat !getLine#0.0'
16$'prim__addFloat !getf !getf#1.0\n1.0'
17$'prim__subFloat !getf !getf#1.0\n1.0'
18$'prim__mulFloat !getf !getf#1.0\n1.0'
19$'prim__divFloat !getf !getf#1.0\n1.0'
20$'prim__slteFloat !getf !getf#1.0\n1.0'
21$'prim__sltFloat !getf !getf#1.0\n1.0'
22$'prim__sgteFloat !getf !getf#1.0\n1.0'
23$'prim__sgtFloat !getf !getf#1.0\n1.0'
24$'prim__eqFloat !getf !getf#1.0\n1.0'
25 'prim__floatACos !getf#1.0'
26 'prim__floatATan !getf#1.0'
27 'prim__floatCos !getf#1.0'
28 'prim__floatFloor !getf#1.0'
29 'prim__floatSin !getf#1.0'
30 'prim__floatTan !getf#1.0'
31 'prim__floatASin !getf#1.0'
32 'prim__floatCeil !getf#1.0'
33 'prim__floatExp !getf#1.0'
34 'prim__floatLog !getf#1.0'
35 'prim__floatSqrt !getf#1.0'
36 'prim__negFloat !getf#1.0'
39generate_testfile()
41cat <<EOF > $1
42${HEAD}
43main = putStrLn $ strtake 10 (show $ $2)
44EOF
47for T in "${TESTS[@]}"
48do
49 echo ${T%% *} ${T##*#}
50 generate_testfile "tmptest.idr" "${T%%#*}"
51 idris "$@" --quiet tmptest.idr -o tmptest || echo "missing primitive in ${CG}"
52 ./tmptest <<<"${T##*#}"
53 rm tmptest.idr tmptest.ibc tmptest
54done